* configure.in: Remove special pex-cygwin consideration.
[official-gcc.git] / gcc / doc / install.texi2html
blob3917e2af33e895bc28c5e01896399f97fbdba53c
1 #!/bin/sh
3 # Convert the GCC install documentation from texinfo format to HTML.
5 # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing
6 # the texinfo source and the directory to put the HTML version in.
8 # (C) 2001 Free Software Foundation
9 # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001.
11 # This script is Free Software, and it can be copied, distributed and
12 # modified as defined in the GNU General Public License. A copy of
13 # its license can be downloaded from http://www.gnu.org/copyleft/gpl.html
15 SOURCEDIR=${SOURCEDIR-.}
16 DESTDIR=${DESTDIR-HTML}
18 MAKEINFO=${MAKEINFO-makeinfo}
20 if [ ! -d $DESTDIR ]; then
21 mkdir -p $DESTDIR
24 for x in index.html specific.html download.html configure.html \
25 build.html test.html finalinstall.html binaries.html old.html \
26 gfdl.html
28 define=`echo $x | sed -e 's/\.//g'`
29 echo "define = $define"
30 $MAKEINFO -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x
31 done