diff options
| author | Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> | 2001-06-08 09:08:06 +0200 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2001-06-08 07:08:06 +0000 |
| commit | f8c17551d438c79963757d2fcc23c1cfa9bb3c33 (patch) | |
| tree | 1a20a9501a197c5899e711eb3b9b594cbc2d12ef /gcc/doc | |
| parent | df7ad0448aecf8371e7e8522e1dd4dbfc6cac072 (diff) | |
| download | gcc-f8c17551d438c79963757d2fcc23c1cfa9bb3c33.zip gcc-f8c17551d438c79963757d2fcc23c1cfa9bb3c33.tar.gz gcc-f8c17551d438c79963757d2fcc23c1cfa9bb3c33.tar.bz2 | |
* doc/install.texi2html (MAKEINFO): Keep value if set already.
From-SVN: r43001
Diffstat (limited to 'gcc/doc')
| -rwxr-xr-x | gcc/doc/install.texi2html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index da99e4c..3b26672 100755 --- a/gcc/doc/install.texi2html +++ b/gcc/doc/install.texi2html @@ -15,7 +15,7 @@ SOURCEDIR=${SOURCEDIR-.} DESTDIR=${DESTDIR-HTML} -MAKEINFO=makeinfo +MAKEINFO=${MAKEINFO-makeinfo} if [ ! -d $DESTDIR ]; then mkdir -p $DESTDIR |