From 6077535e6ec241dd92e594fd3985a73388e2585d Mon Sep 17 00:00:00 2001
From: gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 8 Jun 2001 07:08:06 +0000
Subject: 	* doc/install.texi2html (MAKEINFO): Keep value if set already.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@43001 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/doc/install.texi2html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gcc/doc/install.texi2html')

diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html
index da99e4c453b..3b26672d431 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
-- 
cgit v1.2.1