1.1 --- a/configure	Mon Feb 15 10:21:17 2010 +0100
     1.2 +++ b/configure	Wed Feb 17 17:42:19 2010 +0000
     1.3 @@ -1,5 +1,7 @@
     1.4  #!/bin/bash
     1.5  
     1.6 +source config.sh
     1.7 +
     1.8  quiet=0
     1.9  function quiet { [[ $quiet == 1 ]]; }
    1.10  
    1.11 @@ -32,7 +34,7 @@
    1.12  Options:
    1.13    -h, --help                  display this help and exit
    1.14        --lemon-doc-prefix=loc  The location of the lemon doc. By default it is
    1.15 -                              http://lemon.cs.elte.hu/pub/doc/1.1.1
    1.16 +                              http://lemon.cs.elte.hu/pub/doc/$LEMON_VERSION
    1.17  
    1.18  Expamle:
    1.19    $0 --lemon-doc-prefix=file://usr/local/share/doc/lemon/docs/
    1.20 @@ -54,7 +56,7 @@
    1.21  
    1.22  if test -z "$lemon_doc_prefix"
    1.23  then
    1.24 -    lemon_doc_prefix='http://lemon.cs.elte.hu/pub/doc/1.1.1'
    1.25 +    lemon_doc_prefix="http://lemon.cs.elte.hu/pub/doc/$LEMON_VERSION"
    1.26  fi
    1.27  lemon_doc_prefix=$(echo $lemon_doc_prefix|sed 's/\//\\\\\\\//g')
    1.28  
    1.29 @@ -64,5 +66,6 @@
    1.30  
    1.31  sed -e "s/@lemon_cflags@/${lemon_cflags}/g" \
    1.32      -e "s/@lemon_libs@/${lemon_libs}/g" \
    1.33 -   -e "s/@make_lemon_doc_prefix@/${lemon_doc_prefix}/g" \
    1.34 +    -e "s/@make_lemon_doc_prefix@/${lemon_doc_prefix}/g" \
    1.35 +    -e "s/@LIBSTDCXX_VERSION@/${LIBSTDCXX_VERSION}/g" \
    1.36      < Makefile.in > Makefile