view gcc/doc/install.texi2html @ 158:494b0b89df80 default tip

author Shinji KONO <>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
line wrap: on
line source

# 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.
# Copyright (C) 2001-2020 Free Software Foundation, Inc.
# Originally by Gerald Pfeifer <>, June 2001.
# This file is part of GCC.
# GCC is free software; you can redistribute it and/or modify it under
# the terms of the GNU General Public License as published by the Free
# Software Foundation; either version 3, or (at your option) any later
# version.
# GCC is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
# for more details.
# You should have received a copy of the GNU General Public License
# along with GCC; see the file COPYING3.  If not see
# <>.

set -e



if [ ! -d $DESTDIR ]; then
    mkdir -p $DESTDIR

# Generate gcc-vers.texi.
   echo "@set version-GCC $(cat $SOURCEDIR/../BASE-VER)"
   if [ "$(cat $SOURCEDIR/../DEV-PHASE)" = "experimental" ]; then
      echo "@set DEVELOPMENT"
      echo "@clear DEVELOPMENT"
   echo "@set srcdir $SOURCEDIR/.."
) > $DESTDIR/gcc-vers.texi

for x in index.html specific.html prerequisites.html download.html configure.html \
         build.html test.html finalinstall.html binaries.html old.html \
    define=`echo $x | sed -e 's/\.//g'`
    echo "define = $define"
    $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/temp.html
    # Use sed to work around makeinfo 4.7 brokenness.
    sed -e 's/_002d/-/g' -e 's/_002a/*/g' $DESTDIR/temp.html > $DESTDIR/$x
    rm $DESTDIR/temp.html

rm $DESTDIR/gcc-vers.texi