Docs modification

[Mirsad Todorovac]

On Sun, 13 Jul 2003, Frank Heckenbach wrote:

> Please add 2.95 in the note.

Sure:

diff -u -r p.dist/doc/en/install.texi p/doc/en/install.texi
--- p.dist/doc/en/install.texi  2003-03-22 21:52:50.000000000 +0100
+++ p/doc/en/install.texi       2003-07-14 15:39:32.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 (seen with @file{gcc-2.95.x}). In such 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


Mirsad