t...@tsdye.com (Thomas S. Dye) writes: > Aloha François,
:-) > Do you know how to do this in texinfo? If I had to do this, I would search around to see if there is an Org to Texinfo exporter, and then blindly / fully rely on it to do various wonders automatically! ;-) I did not check, but presume that the current manual original is directly written in Texinfo? More seriously, I did not write Texinfo in a lot of years, and do not even remember how we do tables with it. Tables might have been added after my time, I'm not sure. What I would likely do, given the problem, is merely to format the table myself in fixed font, and use @example / @end example around it (if I remember well, @example generates <pre>). Would that be acceptable? I could offer that simple formatting if it could help, I presume it is likely a simple job for anybody. The problem for me is rather to know what contents should go in there. Write to me privately if you think I could be more of an help than a burden. :-) François
