Docs modification

[Mirsad Todorovac]

Hi, all!

The problems with gcc-2.95.x documentation build require a very small
update to the install.texi:

--- p.dist/doc/en/install.texi	2003-03-22 21:52:50.000000000 +0100
+++ p/doc/en/install.texi	2003-07-11 14:39:51.000000000 +0200
@@ -613,6 +613,16 @@
 compiler and RTS, RTSFLAGS are for RTS only, i.e.:@:
 @samp{make CFLAGS="-O2" RTSFLAGS=-Wall}

+ at samp{NOTE} that documentation may fail to build from *.texi sources
+if GCC tries to use @samp{makeinfo} supplied in package with an older
+back-end. In this case you can bail out with:
+
+ at example
+% make MAKEINFO=/path/to/makeinfo
+ at end example
+
+optionally followed by the rest of arguments.
+
 @item
 Completing the installation



-- 
"I have a dream!" -- Martin Luther King Jr.