rgrimes 1e7f876bc0 This patch teaches info to read gzipped files (emacs info already ... works) so one can gzip files in /usr/share/info and save a few megabytes diskspace. Submitted by: Kai Vorma <vode@snakemail.hut.fi>		1995-05-14 17:54:44 +00:00
..
doc	Fix path to makeinfo.	1995-01-24 04:13:34 +00:00
info	This patch teaches info to read gzipped files (emacs info already	1995-05-14 17:54:44 +00:00
info-files	Whoops! It wasn't totally winning. I left out a couple of :'s. Fixed.	1995-02-19 09:52:52 +00:00
makedoc	Set NOMAN properly, correct Id line.	1994-09-15 13:10:41 +00:00
makeinfo	Add NOMAN, fix Id line.	1994-09-15 13:11:36 +00:00
misc	Import of GNU Info 3.0 in bmake format	1994-09-13 13:51:34 +00:00
texindex	Add NOMAN, fix Id.	1994-09-15 13:12:23 +00:00
Makefile	Infopages cleanup	1995-01-22 22:45:07 +00:00
Makefile.inc	Cleaned up comments, added Id lines.	1994-09-15 12:09:36 +00:00