[m-rev.] for review: fix CVS info on web site

[Julien Fischer]

On Wed, 25 Jul 2007, Zoltan Somogyi wrote:

> For review by anyone.
>
> Zoltan.
>
> information/developers/remote_cvs.html:
> 	Fix obsolete information.
>
> cvs diff: Diffing .
> Index: remote_cvs.html
> ===================================================================
> RCS file: /home/mercury/mercury1/repository/w3/information/developers/remote_cvs.html,v
> retrieving revision 1.8
> diff -u -b -r1.8 remote_cvs.html
> --- remote_cvs.html	4 Nov 2002 13:12:30 -0000	1.8
> +++ remote_cvs.html	25 Jul 2007 06:19:08 -0000
> @@ -30,17 +30,17 @@
> <ul>
> 	<li> The CVS server is running on <b>cvs.mercury.cs.mu.oz.au</b>,
> 	and the
> -	repository is in the directory <b>/home/mercury1/repository</b>
> +	repository is in the directory <b>/home/mercury/mercury1/repository</b>
> 	<li> The anonymous access account is called <i>guest</i> with a
> 		password of <i>guest</i>
> 	<li> To login (you need to do this just once)
> <pre>
> -	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository login
> +	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury/mercury1/repository login
> </pre>
> 	<li> The password is <i>guest</i>
> 	<li> To checkout a module
> <pre>
> -	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository checkout mercury
> +	cvs -d :pserver:guest at cvs.mercury.cs.mu.oz.au:/home/mercury/mercury1/repository checkout mercury
> </pre>
> 	<li> There is a list of modules later in this page.
>
> @@ -83,7 +83,7 @@
> 	<li> If you do not have an ssh version 2 key pair on your machine you
> 	will need to generate one using
> 	<pre>
> -	ssh-keygen -t
> +	ssh-keygen -t rsa
> 	</pre>
>
> 	<li> Send your public key <tt>.ssh/id_rsa.pub</tt> to a member of the
> @@ -92,12 +92,12 @@
> 	<ol>
> 		<li>
> 			Create an account for the new user on
> -			cvs.mercury.cs.mu.oz.au (a.k.a venus).
> +			cvs.mercury.cs.mu.oz.au (a.k.a jupiter).
> 			The password field in <tt>/etc/passwd</tt> should
> 			contain only an asterisk (<tt>*</tt>)
> 			to prevent the user logging in.
> 			A good place for the user's home directory
> -			is <tt>/home/venus/<i>username</i></tt>.
> +			is <tt>/home/jupiter/<i>username</i></tt>.
> 		</li>
> 		<li> Create a file <tt>.ssh/authorized_keys</tt> in the
> 			user's home directory and add the user's public key to
> @@ -127,7 +127,7 @@
>
> 	<li> Set your CVSROOT environment variable to
> 	<pre>
> -	:ext:username at cvs.mercury.cs.mu.oz.au:/home/mercury1/repository
> +	:ext:username at cvs.mercury.cs.mu.oz.au:/home/mercury/mercury1/repository
> 	</pre>
> 	  Make sure this environment variable is exported (in sh
> 	  based shells, "export CVSROOT", in csh based shells, use
> @@ -164,14 +164,14 @@
> 	<li> The CVS modules you might need access to are:
> 		<dl>
> 	  	<dt>mercury	<dd> the mercury compiler, runtime, library,
> -				  extras and documentation. (8.9Mb)
> +				  extras and documentation. (big)
> 	  	<dt>mercury-gcc	<dd> the mercury-gcc distribution;
> 				  this contains part of the source for the
> 				  <a href="http://www.mercury.cs.mu.oz.au/download/gcc-backend.html">native code
> 				  back-end</a>
> -	  	<dt>tests	<dd> test cases for the compiler (0.72Mb)
> -		<dt>clpr	<dd> the CLP(R) interface (0.88Mb)
> -		<dt>w3		<dd> the www page (7.5Mb - lots of papers)
> +	  	<dt>tests	<dd> test cases for the compiler (big)
> +		<dt>clpr	<dd> the CLP(R) interface (small)

I suggest removing the clpr interface from this list.  We haven't 
supported it in recent versions and existing code doesn't work with the
current implementation of solver types.

> +		<dt>w3		<dd> the www page (several Mb - lots of papers)
> 		</dl>
>

Otherwise that looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------