This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
PATCH: doc/install.texi2html
- To: <gcc-patches at gcc dot gnu dot org>
- Subject: PATCH: doc/install.texi2html
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- Date: Fri, 8 Jun 2001 09:24:33 +0200 (CEST)
With this change, on gcc.gnu.org we can use makeinfo 4.0 when invoking
this script which means that now our install documentation now really
appears as it should at <http://gcc.gnu.org/install/>. :-)
Finally. Uff.
Gerald
PS: Installed on both branches.
2001-06-08 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
* doc/install.texi2html (MAKEINFO): Keep value if set already.
Index: install.texi2html
===================================================================
RCS file: /cvs/gcc/egcs/gcc/doc/install.texi2html,v
retrieving revision 1.2
diff -u -3 -p -r1.2 install.texi2html
--- install.texi2html 2001/06/03 12:11:43 1.2
+++ install.texi2html 2001/06/08 07:03:59
@@ -15,7 +15,7 @@
SOURCEDIR=${SOURCEDIR-.}
DESTDIR=${DESTDIR-HTML}
-MAKEINFO=makeinfo
+MAKEINFO=${MAKEINFO-makeinfo}
if [ ! -d $DESTDIR ]; then
mkdir -p $DESTDIR