>I can see how this could be useful with legacy documents, but in this case one >can simply generate >TeX files from TeXinfo and then convert them to TeXmacs. >Would not this be enough?
>From the user point of view, it is a cumbersome way to do it. Am not aware of >an easy way to convert texinfo files to tex files. Customarily one converts >texinfo files to dvi, html, info, pdf, or xml. This is because texinfo is >about producing manuals for Gnu Packages. Please see https://www.gnu.org/software/tar/manual/
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
