diff options
author | Joseph Myers <joseph@codesourcery.com> | 2008-01-25 21:36:51 +0000 |
---|---|---|
committer | Joseph Myers <jsm28@gcc.gnu.org> | 2008-01-25 21:36:51 +0000 |
commit | 6afafc932cdb5b6d9409a0c122b3721eb7cd05e0 (patch) | |
tree | 3b61f9ed5e9f8ef4332efff9f34fa0b4bb90dc4e | |
parent | 0183ce44aa820724b8cc6899bbad83047c540fa8 (diff) |
re PR other/31955 (gcc_release does not generate HTML files from install manual)prereleases/gcc-4.2.3-rc1
PR other/31955
* doc/install.texi2html: Generate gcc-vers.texi.
From-SVN: r131843
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rwxr-xr-x | gcc/doc/install.texi2html | 13 |
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2fadc452900..8fb11f3150a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-01-25 Joseph Myers <joseph@codesourcery.com> + + PR other/31955 + * doc/install.texi2html: Generate gcc-vers.texi. + 2008-01-24 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> Backport: 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 |