[for review] changes to install_webpage

[Bert THOMPSON]

Tyson,

Could you please review this change. Please also look at 
compiler/notes/Mmakefile. It wasn't possible to test the 
Mmakfile without first checking it in. 8^(

Bert

--------------------------------------------------

Estimated hours taken: 0.5

We now install documentation in mercury/compiler/notes into the
developer directory on the web pages. As time permits, the plain text
documentation in mercury/compiler/notes will be translated to HTML.

tools/install_webpage:

CVS: ----------------------------------------------------------------------
CVS: Enter Log.  Lines beginning with `CVS: ' are removed automatically
CVS: 
CVS: Modified Files:
CVS: 	install_webpage 
CVS: ----------------------------------------------------------------------

Index: install_webpage
===================================================================
RCS file: /home/staff/zs/imp/mercury/tools/install_webpage,v
retrieving revision 1.5
diff -c -r1.5 install_webpage
*** 1.5	1997/02/19 23:34:31
--- install_webpage	1997/04/02 09:37:44
***************
*** 69,74 ****
--- 69,75 ----
  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; }
  cd $DIR/mercury || { false; exit 1; }
  # checkout the www module and remove RCS keywords.
  cvs checkout -kv www || { false; exit 1; }
***************
*** 89,94 ****
--- 90,98 ----
  cd $DIR/mercury/www || { false; exit 1; }
  mmake install || { false; exit 1; }
  
+ cd $DIR/mercury/compiler/notes || { false; exit 1; }
+ mmake install || { false; exit 1; }
+ 
  echo "install_webpage done" 1>&2
  
  #-----------------------------------------------------------------------------#