OSDN Git Service

* update_web_docs: Only update the install documentation for the
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Jun 2001 06:27:47 +0000 (06:27 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 8 Jun 2001 06:27:47 +0000 (06:27 +0000)
CVS HEAD.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@43000 138bc75d-0d04-0410-961f-82ee72b054a4

maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs

index af086f4..c8117cf 100644 (file)
@@ -1,3 +1,8 @@
+2001-06-08  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
+
+       * update_web_docs: Only update the install documentation for the 
+       CVS HEAD.
+
 2001-06-07  Joseph S. Myers  <jsm28@cam.ac.uk>
 
        * update_web_docs, doc_exclude: Check out files that may be in the
index 19a22f0..c9f8b6e 100755 (executable)
@@ -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.