Mail Archives: djgpp-announce/1998/05/28/19:19:44
This is to announce that the DJGPP port of GNU Texinfo version 3.12 is
available from the DJGPP sites on SimTel.NET. Here's the main mirror:
ftp://ftp.simtel.net/pub/simtelnet/gnu/djgpp/v2gnu/txi312b.zip
ftp://ftp.simtel.net/pub/simtelnet/gnu/djgpp/v2gnu/txi312s.zip
GNU Texinfo includes several programs. The most important one is the
stand-alone Info reader, used to read GNU hypertext docs. The package
also includes makeinfo, a program that produces Info files from their
Texinfo sources (this is how you make corrections in GNU docs);
install-info, a program that automates the process of adding a menu
item in the DIR file when you install new Info docs on your system;
and several utilities required to produce printed versions of the GNU
docs (if you really want to print the docs, you will need to install a
port of TeX, though).
Version 3.12 includes many new features and enhancements, both
specific to DJGPP and those which aren't. Most of the DJGPP-related
changes were meant to make a cleaner port, as I hope the next Texinfo
release will support DJGPP out of the box. Here are some notable
changes:
- More robust handling of DOS-style backslashes. Info should now
fully support both '/' and '\' in file names.
- Support for compressed Info files which should work on DOS and
Windows 9X alike.
- Printing a node now automatically prints to the local printer,
even if you haven't set INFO_PRINT_COMMAND in the environment.
- Support for changing screen dimensions after starting Info.
- If you don't have a `man' clone installed, Info will no longer
wait for 15 seconds when you happen to call it with a wrong
argument.
See the files NEWS and djgpp/README in the distribution for more
details.
Please note that the input method used by Info was completely
redesigned (it now uses the DJGPP Filesystem Extensions feature), so
I'd particularly like to hear about any problems related to reading
keys. (One of the advantages of this rewrite is that you can now use
Alt-key and don't need to type ESC key instead.)
Have fun.
- Raw text -