trivial diff: install_webpage fix.

[Tyson Dowd]

Hi,

Here's a quick fix.

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


Estimated hours taken: 0.1

tools/install_webpage:
	Use cvs co -kv to checkout the compiler/notes directory,
	so the RCS tag names are removed from the final result
	(gives neater looking "Last modified" bits).
	The other webpage checkouts already do this.


Index: tools/install_webpage
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/install_webpage,v
retrieving revision 1.6
diff -u -r1.6 install_webpage
--- install_webpage	1997/04/03 05:23:53	1.6
+++ install_webpage	1998/01/16 02:01:32
@@ -69,7 +69,7 @@
 rm -rf mercury || { false; exit 1; }
 cvs checkout mercury/doc || { false; exit 1; }
 cvs checkout mercury/library || { false; exit 1; }
-cvs checkout mercury/compiler/notes || { false; exit 1; }
+cvs checkout -kv mercury/compiler/notes || { false; exit 1; }
 cd $DIR/mercury || { false; exit 1; }
 # checkout the www module and remove RCS keywords.
 cvs checkout -kv www || { false; exit 1; }


-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #