diff -r 0b3b26cd1cea -r a291609dad52 install.dox
--- a/install.dox	Wed Nov 05 17:10:54 2008 +0000
+++ b/install.dox	Thu Nov 06 16:55:09 2008 +0100
@@ -215,13 +215,10 @@
 [SEC]compile_user_local[SEC] If LEMON is Installed User-Local
 
 You have to give more options to the compiler if LEMON is installed
-user-local into a directory (denoted by <tt>&lt;dir&gt;</tt>)
-or if you just skipped the step <tt>make install</tt>.
-In the later case <tt>&lt;dir&gt;</tt> denotes the directory in which the
-the \c make command have been performed.
+user-local into a directory (denoted by <tt>&lt;dir&gt;</tt>).
 
 \verbatim
-g++ -lemon -I <dir> -L <dir>/lemon/.libs [other options] <source file>
+g++ -lemon -I <dir>/include -L <dir>/lib [other options] <source file>
 \endverbatim
 
 [SEC]compile_use_pkg_config[SEC] Use pkg-config