diff options
| author | Joseph Myers <jsm28@cam.ac.uk> | 2001-12-17 19:42:57 +0000 |
|---|---|---|
| committer | Joseph Myers <jsm28@gcc.gnu.org> | 2001-12-17 19:42:57 +0000 |
| commit | 0b0aff5ca814e549344340bbf285502510e625b1 (patch) | |
| tree | c3e87db4d17dd806d9387d95838e1ccff2dadfa0 /gcc | |
| parent | f488ffcb5db29b01c23c1050e94d53c032685edf (diff) | |
| download | gcc-0b0aff5ca814e549344340bbf285502510e625b1.zip gcc-0b0aff5ca814e549344340bbf285502510e625b1.tar.gz gcc-0b0aff5ca814e549344340bbf285502510e625b1.tar.bz2 | |
* doc/install.texi2html: Use -I $SOURCEDIR.
From-SVN: r48121
Diffstat (limited to 'gcc')
| -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 75440a7..67e3e31 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 7494a1c..3917e2a 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 |