--- configure_old	2004-07-05 23:57:22.076081853 +0200
+++ configure	2004-07-05 23:59:12.306598834 +0200
@@ -18,6 +18,7 @@
 new_args=""
 export new_args
 prefix=/usr/local
+install_prefix=$prefix
 export prefix
 
 scheme=
@@ -28,6 +29,7 @@
     --with-stklos) scheme=stklos; use_stklos=1;;
     --prefix=*) prefix=`echo $i | sed 's/^[^=]*=//'`;
                 new_args="$new_args $i";;
+    --install_prefix=*) install_prefix=`echo $i | sed 's/^[^=]*=//'`;;
     *) new_args="$new_args $i";;
   esac
 done
@@ -55,9 +57,9 @@
 # Common configuration
 release="1.1a"
 skribeurl="http://www.inria.fr/mimosa/fp/Skribe"
-skribeextdir="$prefix/share/skribe/extensions"
-skribedocdir=$prefix/doc/skribe-$release
-skribeskrdir="'(\".\" \"$skribeextdir\" \"$prefix/share/skribe/$release/skr\" )"
+skribeextdir="$install_prefix/share/skribe/extensions"
+skribedocdir=$install_prefix/doc/skribe-$release
+skribeskrdir="'(\".\" \"$skribeextdir\" \"$install_prefix/share/skribe/$release/skr\" )"
 
 # etc/config
 rm -f etc/config 2> /dev/null
@@ -65,12 +67,14 @@
 echo "release=$release" >> etc/config
 echo "skribeurl=$skribeurl" >> etc/config
 echo "prefix=$prefix" >> etc/config
+echo "install_prefix=$install_prefix" >> etc/config
 
 # etc/skribe-config
 cat etc/skribe-config.in \
     | sed "s|@SKRIBE_RELEASE@|$release|" \
     | sed "s|@PREFIX@|$prefix|" \
-    | sed "s|@SKRIBE_SKR_DIR@|$prefix/share/skribe/$release/skr|" \
+    | sed "s|@INSTALL_PREFIX@|$install_prefix|" \
+    | sed "s|@SKRIBE_SKR_DIR@|$install_prefix/share/skribe/$release/skr|" \
     | sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
     | sed "s|@SKRIBE_DOC_DIR@|$skribedocdir|" \
     | sed "s|@SYSTEM@|$scheme|" \
@@ -80,6 +84,7 @@
 cat emacs/skribe.el.in \
     | sed "s|@SKRIBE_RELEASE@|$release|" \
     | sed "s|@PREFIX@|$prefix|" \
+    | sed "s|@INSTALL_PREFIX@|$install_prefix|" \
     | sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
     | sed "s|@SYSTEM@|$scheme|" \
     | sed "s|@SKRIBE_DOCDIR@|$skribedocdir|" \