Cleaned up the source tree and the installation process.

Patches applied:

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-6
   Cosmetic changes.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-7
   Removed useless files, integrated packages.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-8
   Removed useless files, integrated packages.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-9
   Moved the STkLos and Bigloo code to `legacy'.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-10
   Installed Autoconf/Automake machinery.  Fixed a few things.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-11
   Changes related to source-highlighting and to the manual.


git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--patch-10

1 files changed, 0 insertions, 124 deletions

diff --git a/configure b/configure
deleted file mode 100755
index 798d9d2..0000000
--- a/configure
+++ /dev/null
@@ -1,124 +0,0 @@
-#!/bin/sh
-#
-# This file is a simple trampoline to the real configure script which
-# depends of the Scheme system used
-#
-# Known systems so far:
-#	- Bigloo (use --with-bigloo)
-#	- STklos (use --with-stklos)
-#
-#           Author: Erick Gallesio [eg@essi.fr]
-#    Creation date: 29-Jul-2003 13:59 (eg)
-# Last file update: 23-Sep-2004 17:14 (eg)
-
-
-use_bigloo=0
-use_stklos=0
-
-new_args=""
-export new_args
-prefix=/usr/local
-export prefix
-
-for i in "$@"; do
-  case $i in
-    --with-bigloo) scheme=bigloo; use_bigloo=1;;
-    --with-stklos) scheme=stklos; use_stklos=1;;
-    --prefix=*) prefix=`echo $i | sed 's/^[^=]*=//'`;
-                new_args="$new_args $i";;
-    *) new_args="$new_args \"$i\"";;
-  esac
-done
-
-#* for i in $* ;do                                                     */
-#*   case $i in                                                        */
-#*     --with-bigloo) scheme=bigloo; use_bigloo=1;;                    */
-#*     --with-stklos) scheme=stklos; use_stklos=1;;                    */
-#*     --prefix=*) prefix=`echo $i | sed 's/^[^=]*=//'`;               */
-#*                 new_args="$new_args $i";;                           */
-#*     *) new_args="$new_args $i";;                                    */
-#*   esac                                                              */
-#* done                                                                */
-
-
-case `expr $use_bigloo + $use_stklos` in
-  0) echo "You must at least specify a Scheme system: "; 
-     echo "   --with-bigloo to use Bigloo"
-     echo "   --with-stklos to use STklos"
-     exit 1;;
-  1) ;;
-  *) echo "You must specify ONLY ONE Scheme system"; exit 1;;
-esac
-
-if test $use_bigloo = 1 ;then
-  scheme=bigloo
-fi
-
-if test $use_stklos = 1 ;then
-  scheme=stklos
-fi
-
-
-
-# Common configuration
-release="1.2d"
-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\" )"
-
-# etc/config
-rm -f etc/config 2> /dev/null
-echo "# Automatically generated file (don't edit)" > etc/config
-echo "release=$release" >> etc/config
-echo "skribeurl=$skribeurl" >> etc/config
-echo "prefix=$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|@SKRIBE_EXT_DIR@|$skribeextdir|" \
-    | sed "s|@SKRIBE_DOC_DIR@|$skribedocdir|" \
-    | sed "s|@SYSTEM@|$scheme|" \
-    > etc/skribe-config
-chmod a+x etc/skribe-config
-
-# emacs/skribe.el
-cat emacs/skribe.el.in \
-    | sed "s|@SKRIBE_RELEASE@|$release|" \
-    | sed "s|@PREFIX@|$prefix|" \
-    | sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
-    | sed "s|@SYSTEM@|$scheme|" \
-    | sed "s|@SKRIBE_DOCDIR@|$skribedocdir|" \
-    > emacs/skribe.el
-
-# src/common/configure.scm
-rm -f src/common/configure.scm 2> /dev/null
-echo ";; Automatically generated file (don't edit)" > src/common/configure.scm
-cat src/common/configure.scm.in \
-        | sed "s|@SKRIBE_RELEASE@|$release|" \
-        | sed "s|@SKRIBE_URL@|$skribeurl|" \
-        | sed "s|@SKRIBE_DOC_DIR@|$skribedocdir|" \
-        | sed "s|@SKRIBE_EXT_DIR@|$skribeextdir|" \
-        | sed "s|@SKRIBE_SKR_PATH@|$skribeskrdir|" \
-        | sed "s|@SKRIBE_SCHEME@|$scheme|" \
-        >> src/common/configure.scm
-echo "" >> src/common/configure.scm
-
-if test $use_bigloo = 1 ;then
-  # pass all the arguments to the Bigloo autoconf without the --with-bigloo
-  echo "Using Bigloo system"
-  eval "cd etc/bigloo; SKRIBERELEASE=$release ./configure --docdir=$skribedocdir $new_args"
-  exit 0
-fi
-
-# If we are here, it means that we use the STklos system
-if test $use_stklos = 1 ;then
-  # pass all the arguments to the STklos autoconf without the --with-stklos
-  echo "Using STklos system"
-  eval "cd etc/stklos; ./configure $new_args"
-  exit 0
-fi
-