tv 87ed89b8e3 Make sure MAKEINFO is defined, as it appears that toolchain/texinfo is not ... auto-built.		2002-01-31 15:25:08 +00:00
..
Makefile	Make sure MAKEINFO is defined, as it appears that toolchain/texinfo is not	2002-01-31 15:25:08 +00:00