32 lines
1.0 KiB
Bash
Executable File
32 lines
1.0 KiB
Bash
Executable File
#!/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.
|
|
#
|
|
# (C) 2001 Free Software Foundation
|
|
# Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001.
|
|
#
|
|
# This script is Free Software, and it can be copied, distributed and
|
|
# modified as defined in the GNU General Public License. A copy of
|
|
# its license can be downloaded from http://www.gnu.org/copyleft/gpl.html
|
|
|
|
SOURCEDIR=${SOURCEDIR-.}
|
|
DESTDIR=${DESTDIR-HTML}
|
|
|
|
MAKEINFO=${MAKEINFO-makeinfo}
|
|
|
|
if [ ! -d $DESTDIR ]; then
|
|
mkdir -p $DESTDIR
|
|
fi
|
|
|
|
for x in index.html specific.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 -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x
|
|
done
|