seb 8f947a0cf6 Convert to USE_NEW_TEXINFO. ... Patch Makefile.in to use MAKEINFO and INSTALL_INFO from environment. XXX DESCR could use a bit of trimming.		2003-06-19 22:18:05 +00:00
..
patch-aa	Convert to USE_NEW_TEXINFO.	2003-06-19 22:18:05 +00:00