diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-01-25 21:34:38 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-01-25 21:34:38 +0000 |
| commit | 74a4b47fcac1c6a81c69fc038f9f28df090bda0a (patch) | |
| tree | 8d6ce40d9815e34941e78a9f0d7b88b665787abd /gcc/doc/install.texi2html | |
| parent | dc8d590cea2a196d215e7f5ae4298a0cf1a577e9 (diff) | |
| download | gcc-74a4b47fcac1c6a81c69fc038f9f28df090bda0a.tar.gz | |
PR other/31955
* doc/install.texi2html: Generate gcc-vers.texi.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@131842 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/install.texi2html')
| -rwxr-xr-x | gcc/doc/install.texi2html | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index 44da873b7f6..60d670b4785 100755 --- a/gcc/doc/install.texi2html +++ b/gcc/doc/install.texi2html @@ -23,6 +23,17 @@ 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/.." +) > $SOURCEDIR/include/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 @@ -31,3 +42,5 @@ do echo "define = $define" $MAKEINFO -I $SOURCEDIR -I $SOURCEDIR/include $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/$x done + +rm $SOURCEDIR/include/gcc-vers.texi |