]>
Commit | Line | Data |
---|---|---|
c777a6de GP |
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 | # | |
99dee823 | 8 | # Copyright (C) 2001-2021 Free Software Foundation, Inc. |
c777a6de GP |
9 | # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. |
10 | # | |
748086b7 JJ |
11 | # This file is part of GCC. |
12 | # | |
13 | # GCC is free software; you can redistribute it and/or modify it under | |
14 | # the terms of the GNU General Public License as published by the Free | |
15 | # Software Foundation; either version 3, or (at your option) any later | |
16 | # version. | |
17 | # | |
18 | # GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
19 | # WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
20 | # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
21 | # for more details. | |
22 | # | |
23 | # You should have received a copy of the GNU General Public License | |
24 | # along with GCC; see the file COPYING3. If not see | |
25 | # <http://www.gnu.org/licenses/>. | |
c777a6de | 26 | |
520bc8a2 JM |
27 | set -e |
28 | ||
c777a6de GP |
29 | SOURCEDIR=${SOURCEDIR-.} |
30 | DESTDIR=${DESTDIR-HTML} | |
31 | ||
f8c17551 | 32 | MAKEINFO=${MAKEINFO-makeinfo} |
c777a6de GP |
33 | |
34 | if [ ! -d $DESTDIR ]; then | |
35 | mkdir -p $DESTDIR | |
36 | fi | |
37 | ||
3725c0ca JM |
38 | # Generate gcc-vers.texi. |
39 | ( | |
40 | echo "@set version-GCC $(cat $SOURCEDIR/../BASE-VER)" | |
41 | if [ "$(cat $SOURCEDIR/../DEV-PHASE)" = "experimental" ]; then | |
42 | echo "@set DEVELOPMENT" | |
43 | else | |
44 | echo "@clear DEVELOPMENT" | |
45 | fi | |
46 | echo "@set srcdir $SOURCEDIR/.." | |
f30fad61 | 47 | ) > $DESTDIR/gcc-vers.texi |
3725c0ca | 48 | |
67b1fbb9 | 49 | for x in index.html specific.html prerequisites.html download.html configure.html \ |
73e2155a JM |
50 | build.html test.html finalinstall.html binaries.html old.html \ |
51 | gfdl.html | |
c777a6de GP |
52 | do |
53 | define=`echo $x | sed -e 's/\.//g'` | |
54 | echo "define = $define" | |
00ef0d03 JJ |
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 | |
c777a6de | 59 | done |
3725c0ca | 60 | |
f30fad61 | 61 | rm $DESTDIR/gcc-vers.texi |