diff options
| author | Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> | 2001-06-03 14:11:43 +0200 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2001-06-03 12:11:43 +0000 |
| commit | c777a6def975631afe78827d37f1189c1de5f0bd (patch) | |
| tree | 3db4150ce3cdd60ce794cb5163c6d5650d525d78 | |
| parent | 096c33c36a8ed790e8466e49f9ba9cf74cb2b249 (diff) | |
| download | gcc-c777a6def975631afe78827d37f1189c1de5f0bd.zip gcc-c777a6def975631afe78827d37f1189c1de5f0bd.tar.gz gcc-c777a6def975631afe78827d37f1189c1de5f0bd.tar.bz2 | |
* doc/install.texi2html: New script.
From-SVN: r42826
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rwxr-xr-x | gcc/doc/install.texi2html | 30 |
2 files changed, 34 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index fad93e2..274f6ee 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2001-06-03 Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> + + * doc/install.texi2html: New script. + 2001-06-03 David Edelsohn <edelsohn@gnu.org> * doc/install.texi: Update AIX information again. diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html new file mode 100755 index 0000000..da99e4c --- /dev/null +++ b/gcc/doc/install.texi2html @@ -0,0 +1,30 @@ +#!/bin/sh +# +# Convert the GCC install documentation from texinfo format to HTML. +# +# $SOURCEDIR and $DESTDIR, resp., refer to the directory containing +# the texinfo source and the directory to put the HTML version in. +# +# (C) 2001 Free Software Foundation +# Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. +# +# This script is Free Software, and it can be copied, distributed and +# modified as defined in the GNU General Public License. A copy of +# its license can be downloaded from http://www.gnu.org/copyleft/gpl.html + +SOURCEDIR=${SOURCEDIR-.} +DESTDIR=${DESTDIR-HTML} + +MAKEINFO=makeinfo + +if [ ! -d $DESTDIR ]; then + mkdir -p $DESTDIR +fi + +for x in index.html specific.html download.html configure.html \ + build.html test.html finalinstall.html binaries.html +do + define=`echo $x | sed -e 's/\.//g'` + echo "define = $define" + $MAKEINFO $SOURCEDIR/install.texi --html -D$define -o$DESTDIR/$x +done |