diff options
| -rw-r--r-- | gcc/ChangeLog | 2 | ||||
| -rwxr-xr-x | gcc/doc/install.texi2html | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 75440a75c16..67e3e310c33 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,7 @@ 2001-12-17 Joseph S. Myers <jsm28@cam.ac.uk> + * doc/install.texi2html: Use -I $SOURCEDIR. + Separate user and internals manuals. * Makefile.in (info, $(docdir)/gcc.info, dvi, gcc.dvi): Update dependencies. diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index 7494a1cb9a1..3917e2af33e 100755 --- a/gcc/doc/install.texi2html +++ b/gcc/doc/install.texi2html @@ -27,5 +27,5 @@ for x in index.html specific.html download.html configure.html \ do define=`echo $x | sed -e 's/\.//g'` echo "define = $define" - $MAKEINFO -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x + $MAKEINFO -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x done |