comparison gcc/doc/install.texi2html @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
comparison
equal deleted inserted replaced
111:04ced10e8804 131:84e7813d76e9
3 # Convert the GCC install documentation from texinfo format to HTML. 3 # Convert the GCC install documentation from texinfo format to HTML.
4 # 4 #
5 # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing 5 # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing
6 # the texinfo source and the directory to put the HTML version in. 6 # the texinfo source and the directory to put the HTML version in.
7 # 7 #
8 # Copyright (C) 2001-2017 Free Software Foundation, Inc. 8 # Copyright (C) 2001-2018 Free Software Foundation, Inc.
9 # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. 9 # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001.
10 # 10 #
11 # This file is part of GCC. 11 # This file is part of GCC.
12 # 12 #
13 # GCC is free software; you can redistribute it and/or modify it under 13 # GCC is free software; you can redistribute it and/or modify it under
50 build.html test.html finalinstall.html binaries.html old.html \ 50 build.html test.html finalinstall.html binaries.html old.html \
51 gfdl.html 51 gfdl.html
52 do 52 do
53 define=`echo $x | sed -e 's/\.//g'` 53 define=`echo $x | sed -e 's/\.//g'`
54 echo "define = $define" 54 echo "define = $define"
55 $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x 55 $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/temp.html
56 # Use sed to work around makeinfo 4.7 brokenness.
57 sed -e 's/_002d/-/g' -e 's/_002a/*/g' $DESTDIR/temp.html > $DESTDIR/$x
58 rm $DESTDIR/temp.html
56 done 59 done
57 60
58 rm $DESTDIR/gcc-vers.texi 61 rm $DESTDIR/gcc-vers.texi