diff -r eda742a0b1b4 -r f7a4e8024952 configure
--- a/configure	Mon Feb 15 10:21:17 2010 +0100
+++ b/configure	Wed Feb 17 17:42:19 2010 +0000
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+source config.sh
+
 quiet=0
 function quiet { [[ $quiet == 1 ]]; }
 
@@ -32,7 +34,7 @@
 Options:
   -h, --help                  display this help and exit
       --lemon-doc-prefix=loc  The location of the lemon doc. By default it is
-                              http://lemon.cs.elte.hu/pub/doc/1.1.1
+                              http://lemon.cs.elte.hu/pub/doc/$LEMON_VERSION
 
 Expamle:
   $0 --lemon-doc-prefix=file://usr/local/share/doc/lemon/docs/
@@ -54,7 +56,7 @@
 
 if test -z "$lemon_doc_prefix"
 then
-    lemon_doc_prefix='http://lemon.cs.elte.hu/pub/doc/1.1.1'
+    lemon_doc_prefix="http://lemon.cs.elte.hu/pub/doc/$LEMON_VERSION"
 fi
 lemon_doc_prefix=$(echo $lemon_doc_prefix|sed 's/\//\\\\\\\//g')
 
@@ -64,5 +66,6 @@
 
 sed -e "s/@lemon_cflags@/${lemon_cflags}/g" \
     -e "s/@lemon_libs@/${lemon_libs}/g" \
-   -e "s/@make_lemon_doc_prefix@/${lemon_doc_prefix}/g" \
+    -e "s/@make_lemon_doc_prefix@/${lemon_doc_prefix}/g" \
+    -e "s/@LIBSTDCXX_VERSION@/${LIBSTDCXX_VERSION}/g" \
     < Makefile.in > Makefile