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