2004-08-03 Kelley Cook <kcook@gcc.gnu.org>

[pf3gnuchains/gcc-fork.git] / maintainer-scripts / update_web_docs

diff --git a/maintainer-scripts/update_web_docs b/maintainer-scripts/update_web_docs
index b2cdb70..e22779c 100755 (executable)
--- a/maintainer-scripts/update_web_docs
+++ b/maintainer-scripts/update_web_docs
@@ -97,7 +97,7 @@ tar cf docs-sources.tar gcc
 # and fdl.texi.
 includedir=gcc/gcc/doc/include
 
 # and fdl.texi.
 includedir=gcc/gcc/doc/include
 

-MANUALS="cpp cppinternals fastjar gcc gccint gcj g77 gnat_ug_unx gnat_ug_vms gnat_ug_vxw gnat_ug_wnt gnat_ugn_unw gnat-style gnat_rm libiberty porting"
+MANUALS="cpp cppinternals fastjar gcc gccint gcj g77 gfortran gnat_ug_unx gnat_ug_vms gnat_ug_vxw gnat_ug_wnt gnat_ugn_unw gnat-style gnat_rm libiberty porting"

 
 # Generate gnat_ugn_unw
 
 
 # Generate gnat_ugn_unw
 


@@ -129,7 +129,7 @@ today=`date +%d`
 if test $today = 15; then
   find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm
   for m in $MANUALS; do
 if test $today = 15; then
   find $DOCSDIR -type f -maxdepth 1 -print | grep -v index.html | xargs rm
   for m in $MANUALS; do

-    rm $DOCSDIR/$m/*.html
+    rm $DOCSDIR/$m/*.html $DOCSDIR/$m/*.html.gz

   done
 fi
 
   done
 fi