# HG changeset patch
# User Peter Kovacs <kpeter@inf.elte.hu>
# Date 1225986909 -3600
# Node ID a291609dad527edda0385431ccef4de4510f0616
# Parent  0b3b26cd1cea6bb9a28c4641d0e328be973790bb
Fix compilation instructions for user-local installation

diff -r 0b3b26cd1cea -r a291609dad52 getting_started.dox
--- a/getting_started.dox	Wed Nov 05 17:10:54 2008 +0000
+++ b/getting_started.dox	Thu Nov 06 16:55:09 2008 +0100
@@ -52,12 +52,11 @@
 \endverbatim
 
 If LEMON is installed <b>user-local</b> into a directory
-(e.g. <tt>~/lemon</tt>) or if you just skipped the step
-<tt>make install</tt>, then compiling the code is a bit more difficult.
+(e.g. <tt>~/lemon</tt>), then compiling the code is a bit more difficult.
 You have to issue a command like this.
 
 \verbatim
-g++ -lemon -I ~/lemon -L ~/lemon/lemon/.libs hello_lemon.cc -o hello_lemon
+g++ -lemon -I ~/lemon/include -L ~/lemon/lib hello_lemon.cc -o hello_lemon
 \endverbatim
 
 If everything has gone well, then our program prints out the followings.
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