1#!/bin/sh 2# 3# Convert the GCC install documentation from texinfo format to HTML. 4# 5# $SOURCEDIR and $DESTDIR, resp., refer to the directory containing 6# the texinfo source and the directory to put the HTML version in. 7# 8# (C) 2001, 2003, 2006 Free Software Foundation 9# Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. 10# 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 14 15set -e 16 17SOURCEDIR=${SOURCEDIR-.} 18DESTDIR=${DESTDIR-HTML} 19 20MAKEINFO=${MAKEINFO-makeinfo} 21 22if [ ! -d $DESTDIR ]; then 23 mkdir -p $DESTDIR 24fi 25 26for x in index.html specific.html prerequisites.html download.html configure.html \ 27 build.html test.html finalinstall.html binaries.html old.html \ 28 gfdl.html 29do 30 define=`echo $x | sed -e 's/\.//g'` 31 echo "define = $define" 32 $MAKEINFO -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x 33done 34