cvs diff: install_webpage

[Tyson Richard DOWD]

Bert, since we were discussing this earlier today, can you review
this (small) change?

===================================================================

Estimated hours taken: 0.2

Fix a permissions problem with installing new webpages.

tools/install_webpage:
	Remove the checked out modules before beginning, and
	chmod them after checkout, so that all pages are readable 
	by all. Then, when installed, the copies will also be
	world readable. This is important so that new files get
	created with the correct permissions, regardless of the
	permissions they have in the CVS archive.


Index: install_webpage
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/install_webpage,v
retrieving revision 1.4
diff -u -r1.4 install_webpage
--- install_webpage	1997/02/11 23:16:37	1.4
+++ install_webpage	1997/02/17 06:03:09
@@ -66,11 +66,16 @@
 
 : checkout the sources and make sure the installation directory exists
 cd $DIR || { false; exit 1; }
+rm -rf mercury || { false; exit 1; }
 cvs checkout mercury/doc || { false; exit 1; }
 cvs checkout mercury/library || { false; exit 1; }
 cd $DIR/mercury || { false; exit 1; }
 # checkout the www module and remove RCS keywords.
 cvs checkout -kv www || { false; exit 1; }
+
+# make sure all pages are world readable
+chmod -R a+r * || { false; exit 1; }
+
 [ -d $INSTALL_DIR ] || mkdir -p $INSTALL_DIR
 
-- 
       Tyson Dowd           # "Most people's C code should be indented
                            #  six feet downward and covered with 
     trd at cs.mu.oz.au        #  dirt."
http://www.cs.mu.oz.au/~trd # - Blair Houghton, on C code indentation