On Tue, May 24, 2011 at 6:18 PM, John Cowan
<cowan@x> wrote:
Emmanuel Medernach scripsit:
> Just a minor point: Does anyone know how to convert from TeX files to
> Texinfo files ? I am used to read info files within emacs and find it
> convenient.
Not that I know of. TeX is a much richer format than Texinfo.
Ok, Thanks. It is really nice to read RnRS directly from emacs (or with "info"), here is a link if one wants to try :
http://groups.csail.mit.edu/mac/ftpdir/scm/r5rs.info.tar.gz
It would be neat to have the same for R7RS, but I don't know enough Tex or Texinfo to do it. :-/
Any hints welcome about this.
Best regards,
--
Emmanuel Medernach