aboutsummaryrefslogtreecommitdiff
path: root/gcc/doc
diff options
context:
space:
mode:
authorGerald Pfeifer <pfeifer@dbai.tuwien.ac.at>2001-06-08 09:08:06 +0200
committerGerald Pfeifer <gerald@gcc.gnu.org>2001-06-08 07:08:06 +0000
commitf8c17551d438c79963757d2fcc23c1cfa9bb3c33 (patch)
tree1a20a9501a197c5899e711eb3b9b594cbc2d12ef /gcc/doc
parentdf7ad0448aecf8371e7e8522e1dd4dbfc6cac072 (diff)
downloadgcc-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-xgcc/doc/install.texi2html2
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