diff options
| author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-08 07:08:06 +0000 |
|---|---|---|
| committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-08 07:08:06 +0000 |
| commit | 6077535e6ec241dd92e594fd3985a73388e2585d (patch) | |
| tree | 1a20a9501a197c5899e711eb3b9b594cbc2d12ef /gcc/doc/install.texi2html | |
| parent | e25206651894d7f9009e82de603fd05cbd7d0dde (diff) | |
| download | gcc-6077535e6ec241dd92e594fd3985a73388e2585d.tar.gz | |
* 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
Diffstat (limited to 'gcc/doc/install.texi2html')
| -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 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 |