--- web/download.xml	2007/07/10 17:59:46	737
+++ web/download.xml	2007/07/10 17:59:52	738
@@ -30,14 +30,19 @@
 You can also download the CVS tree through an anonymous access.
 Set the <tt>CVSROOT</tt> environment variable to 
 <tt>:pserver:anonymous@cvs.cduce.org:/cvsroot</tt>
-and do <tt>cvs checkout cduce</tt>. You can then do <tt>cvs update</tt>
+and do <tt>cvs checkout cduce</tt>. Or more simply, copy and paste in a terminal the following line
+</p><p>
+<tt>cvs -z3 -d ":pserver:anonymous@cvs.cduce.org:/cvsroot" co cduce</tt>
+</p><p>
+You can then do <tt>cvs update -dP</tt>
 in the <tt>cduce</tt> subdirectory to get an up-to-date version 
 of the CVS tree.
 </p>
 
 <p>
 In order to built CDuce from the current CVS tree, you need
-to install <a href="#side">ulex</a>.
+to install <a href="#side">ulex</a>, and also attentively 
+read INSTALL instructions.
 </p>
 
 <p>