Thanks for the tip. I have now the  wished layout.

https://cuis-smalltalk.github.io/TheCuisBook


Le 30/12/2023 à 18:13, Patrice Dumas a écrit :
On the command line, that would be:

   texi2any --html -c CONTENTS_OUTPUT_LOCATION=inline manual.texi

--
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/

Reply via email to