diff options
| author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-08 06:27:47 +0000 |
|---|---|---|
| committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-06-08 06:27:47 +0000 |
| commit | e25206651894d7f9009e82de603fd05cbd7d0dde (patch) | |
| tree | b2cd3f413d0d6ce19f5ac927d1a9bb8d780ef224 /maintainer-scripts/update_web_docs | |
| parent | e26377d0b8b4a1152c3c2888f7c9a1fc786cbce5 (diff) | |
| download | gcc-e25206651894d7f9009e82de603fd05cbd7d0dde.tar.gz | |
* update_web_docs: Only update the install documentation for the
CVS HEAD.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@43000 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts/update_web_docs')
| -rwxr-xr-x | maintainer-scripts/update_web_docs | 24 |
1 files changed, 13 insertions, 11 deletions
diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs index 19a22f0b6b4..c9f8b6ee2ae 100755 --- a/maintainer-scripts/update_web_docs +++ b/maintainer-scripts/update_web_docs @@ -154,17 +154,19 @@ if [ "$DO_THANKS_HTML" = y ]; then ln onlinedocs/${contrib_file}.gz thanks.html.gz fi -# Finally, generate the installation documentation. -SOURCEDIR=$WORKDIR -DESTDIR=$WWWBASE_PREFORMATTED/install -export SOURCEDIR -export DESTDIR -$WORKDIR/gcc/gcc/doc/install.texi2html - -for file in `ls $DESTDIR` -do - $PREPROCESS install/$file -done +# Finally, generate the installation documentation (but only for CVS HEAD). +if [ "$RELEASE" = "HEAD" ]; then + SOURCEDIR=$WORKDIR + DESTDIR=$WWWBASE_PREFORMATTED/install + export SOURCEDIR + export DESTDIR + $WORKDIR/gcc/gcc/doc/install.texi2html + + for file in `ls $DESTDIR` + do + $PREPROCESS install/$file + done +fi # Clean up behind us. |