gcc/doc/install.texi2html

   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, 2008 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
  15 set -e
  16
  17 SOURCEDIR=${SOURCEDIR-.}
  18 DESTDIR=${DESTDIR-HTML}
  19
  20 MAKEINFO=${MAKEINFO-makeinfo}
  21
  22 if [ ! -d $DESTDIR ]; then
  23     mkdir -p $DESTDIR
  24 fi
  25
  26 # Generate gcc-vers.texi.
  27 (
  28    echo "@set version-GCC $(cat $SOURCEDIR/../BASE-VER)"
  29    if [ "$(cat $SOURCEDIR/../DEV-PHASE)" = "experimental" ]; then
  30       echo "@set DEVELOPMENT"
  31    else
  32       echo "@clear DEVELOPMENT"
  33    fi
  34    echo "@set srcdir $SOURCEDIR/.."
  35 ) > $DESTDIR/gcc-vers.texi
  36
  37 for x in index.html specific.html prerequisites.html download.html configure.html \
  38          build.html test.html finalinstall.html binaries.html old.html \
  39          gfdl.html
  40 do
  41     define=`echo $x | sed -e 's/\.//g'`
  42     echo "define = $define"
  43     $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x
  44 done
  45
  46 rm $DESTDIR/gcc-vers.texi