--- old_configure	2004-07-05 23:04:45.528359338 +0200
+++ old_configure	2004-07-05 23:07:52.148067680 +0200
@@ -18,6 +18,7 @@ 
 new_args=""
 export new_args
 prefix=/usr/local
+install_prefix=$prefix
 export prefix
 
 for i in "$@"; do
@@ -26,6 +27,8 @@ 
     --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";;
     *) new_args="$new_args \"$i\"";;
   esac
 done
@@ -63,9 +66,9 @@ 
 # Common configuration
 release="1.1b"
 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
@@ -73,12 +76,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|" \
@@ -88,6 +93,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|" \