diff options
author | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
---|---|---|
committer | upstream source tree <ports@midipix.org> | 2015-03-15 20:14:05 -0400 |
commit | 554fd8c5195424bdbcabf5de30fdc183aba391bd (patch) | |
tree | 976dc5ab7fddf506dadce60ae936f43f58787092 /gcc/doc/install.texi2html | |
download | cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.bz2 cbb-gcc-4.6.4-554fd8c5195424bdbcabf5de30fdc183aba391bd.tar.xz |
obtained gcc-4.6.4.tar.bz2 from upstream website;upstream
verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.
downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.
if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
Diffstat (limited to 'gcc/doc/install.texi2html')
-rwxr-xr-x | gcc/doc/install.texi2html | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html new file mode 100755 index 000000000..b46f4657b --- /dev/null +++ b/gcc/doc/install.texi2html @@ -0,0 +1,58 @@ +#!/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, 2003, 2006, 2008, 2009 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/$x +done + +rm $DESTDIR/gcc-vers.texi |