diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-17 19:42:57 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-17 19:42:57 +0000 |
| commit | a75f8583229fa1555e6787d72a2746c9a42ec991 (patch) | |
| tree | c3e87db4d17dd806d9387d95838e1ccff2dadfa0 | |
| parent | c71e29608c68e5f40b01a75a1d4b7849fdfa4f94 (diff) | |
| download | gcc-a75f8583229fa1555e6787d72a2746c9a42ec991.tar.gz | |
* doc/install.texi2html: Use -I $SOURCEDIR.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@48121 138bc75d-0d04-0410-961f-82ee72b054a4
| -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 |