[thirdparty/gcc.git] / gcc / doc / install.texi2html

#!/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
do
    define=`echo $x | sed -e 's/\.//g'`
    echo "define = $define"
    $MAKEINFO $SOURCEDIR/install.texi --html -D$define -o$DESTDIR/$x
done
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	#
	8	# (C) 2001 Free Software Foundation
	9	# Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001.
	10	#
	11	# This script is Free Software, and it can be copied, distributed and
	12	# modified as defined in the GNU General Public License. A copy of
	13	# its license can be downloaded from http://www.gnu.org/copyleft/gpl.html
	14
	15	SOURCEDIR=${SOURCEDIR-.}
	16	DESTDIR=${DESTDIR-HTML}
	17
f8c17551	18	MAKEINFO=${MAKEINFO-makeinfo}
c777a6de GP	19
	20	if [ ! -d $DESTDIR ]; then
	21	mkdir -p $DESTDIR
	22	fi
	23
	24	for x in index.html specific.html download.html configure.html \
	25	build.html test.html finalinstall.html binaries.html
	26	do
	27	define=`echo $x \| sed -e 's/\.//g'`
	28	echo "define = $define"
	29	$MAKEINFO $SOURCEDIR/install.texi --html -D$define -o$DESTDIR/$x
	30	done