[Texmacs-dev] Copying tex and latex code from emacs to texmacs

[henri-biard]

>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/