blob: 85adfb98adc07461e7636e7c0ffb5c3042bca63e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#!/bin/sh
#
# 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-2018 Free Software Foundation, Inc.
# Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, 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
# <http://www.gnu.org/licenses/>.
set -e
SOURCEDIR=${SOURCEDIR-.}
DESTDIR=${DESTDIR-HTML}
MAKEINFO=${MAKEINFO-makeinfo}
if [ ! -d $DESTDIR ]; then
mkdir -p $DESTDIR
fi
# Generate gcc-vers.texi.
(
echo "@set version-GCC $(cat $SOURCEDIR/../BASE-VER)"
if [ "$(cat $SOURCEDIR/../DEV-PHASE)" = "experimental" ]; then
echo "@set DEVELOPMENT"
else
echo "@clear DEVELOPMENT"
fi
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 \
gfdl.html
do
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
done
rm $DESTDIR/gcc-vers.texi
|