110d565efSmrg#!/bin/sh 210d565efSmrg# 310d565efSmrg# Convert the GCC install documentation from texinfo format to HTML. 410d565efSmrg# 510d565efSmrg# $SOURCEDIR and $DESTDIR, resp., refer to the directory containing 610d565efSmrg# the texinfo source and the directory to put the HTML version in. 710d565efSmrg# 8*ec02198aSmrg# Copyright (C) 2001-2020 Free Software Foundation, Inc. 910d565efSmrg# Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. 1010d565efSmrg# 1110d565efSmrg# This file is part of GCC. 1210d565efSmrg# 1310d565efSmrg# GCC is free software; you can redistribute it and/or modify it under 1410d565efSmrg# the terms of the GNU General Public License as published by the Free 1510d565efSmrg# Software Foundation; either version 3, or (at your option) any later 1610d565efSmrg# version. 1710d565efSmrg# 1810d565efSmrg# GCC is distributed in the hope that it will be useful, but WITHOUT ANY 1910d565efSmrg# WARRANTY; without even the implied warranty of MERCHANTABILITY or 2010d565efSmrg# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 2110d565efSmrg# for more details. 2210d565efSmrg# 2310d565efSmrg# You should have received a copy of the GNU General Public License 2410d565efSmrg# along with GCC; see the file COPYING3. If not see 2510d565efSmrg# <http://www.gnu.org/licenses/>. 2610d565efSmrg 2710d565efSmrgset -e 2810d565efSmrg 2910d565efSmrgSOURCEDIR=${SOURCEDIR-.} 3010d565efSmrgDESTDIR=${DESTDIR-HTML} 3110d565efSmrg 3210d565efSmrgMAKEINFO=${MAKEINFO-makeinfo} 3310d565efSmrg 3410d565efSmrgif [ ! -d $DESTDIR ]; then 3510d565efSmrg mkdir -p $DESTDIR 3610d565efSmrgfi 3710d565efSmrg 3810d565efSmrg# Generate gcc-vers.texi. 3910d565efSmrg( 4010d565efSmrg echo "@set version-GCC $(cat $SOURCEDIR/../BASE-VER)" 4110d565efSmrg if [ "$(cat $SOURCEDIR/../DEV-PHASE)" = "experimental" ]; then 4210d565efSmrg echo "@set DEVELOPMENT" 4310d565efSmrg else 4410d565efSmrg echo "@clear DEVELOPMENT" 4510d565efSmrg fi 4610d565efSmrg echo "@set srcdir $SOURCEDIR/.." 4710d565efSmrg) > $DESTDIR/gcc-vers.texi 4810d565efSmrg 4910d565efSmrgfor x in index.html specific.html prerequisites.html download.html configure.html \ 5010d565efSmrg build.html test.html finalinstall.html binaries.html old.html \ 5110d565efSmrg gfdl.html 5210d565efSmrgdo 5310d565efSmrg define=`echo $x | sed -e 's/\.//g'` 5410d565efSmrg echo "define = $define" 5510d565efSmrg $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/temp.html 5610d565efSmrg # Use sed to work around makeinfo 4.7 brokenness. 5710d565efSmrg sed -e 's/_002d/-/g' -e 's/_002a/*/g' $DESTDIR/temp.html > $DESTDIR/$x 5810d565efSmrg rm $DESTDIR/temp.html 5910d565efSmrgdone 6010d565efSmrg 6110d565efSmrgrm $DESTDIR/gcc-vers.texi 62