--- README.bak	2005-08-31 19:23:26.000000000 +0200
+++ README	2005-08-31 20:39:22.000000000 +0200
@@ -46,7 +46,6 @@
 
 For both client and server:
  - noweb [http://www.eecs.harvard.edu/~nr/noweb/]
- - latex (with pdflatex and palatino font)
  - ocaml 3 (with native compilers) [http://caml.inria.fr/ocaml/distrib.html]
  - findlib [http://www.ocaml-programming.de/programming/findlib.html]
  - equeue [http://www.ocaml-programming.de/programming/equeue.html]
@@ -65,6 +64,9 @@
  - ulex [http://www.cduce.org/download.html]
  - CDuce [http://www.cduce.org/] (and its dependencies)
 
+For documentation only:
+ - latex (with pdflatex and palatino font)
+
 And usual compilation tools:
 
  - make
@@ -143,6 +145,8 @@
   --for-developer   developer features: include autotests and do 'make test' 
                     by default (default: no)
 
+  --help            display this list
+
 
 * Possible make targets: