Removed the `etc' directory, kept `ChangeLog' and `skribe-config.in'.

git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-52

17 files changed, 0 insertions, 2072 deletions

diff --git a/etc/ChangeLog b/ChangeLog.Skribe
index 6987245..6987245 100644
--- a/etc/ChangeLog
+++ b/ChangeLog.Skribe
diff --git a/etc/Makefile.config b/etc/Makefile.config
deleted file mode 100644
index 3ee672a..0000000
--- a/etc/Makefile.config
+++ /dev/null
@@ -1,9 +0,0 @@
-## Skribe (1.2d) configure
-## Don't edit, file generated by etc/bigloo/configure
-SKRIBERELEASE=1.2d
-SKRIBEBETARELEASE=1.2d-beta.2
-
-SYSTEM=bigloo
-SKRIBE=$(BINDIR)/skribe.bigloo
-SKRIBEINFO=$(BINDIR)/skribeinfo.bigloo
-SKRIBEBIBTEX=$(BINDIR)/skribebibtex.bigloo
diff --git a/etc/bigloo/Makefile.skb b/etc/bigloo/Makefile.skb
deleted file mode 100644
index 51d6086..0000000
--- a/etc/bigloo/Makefile.skb
+++ /dev/null
@@ -1,158 +0,0 @@
-## Skribe (1.2d) configure
-## Don't edit, file generated by etc/bigloo/configure
-
-TARGET=c
-
-SKRIBEDIR=/tmp/skribe1.2d/etc/bigloo/../..
-SKRIBEBINDIR=$(SKRIBEDIR)/bin
-SKRIBELIBDIR=$(SKRIBEDIR)/lib
-SKRIBEFILDIR=$(SKRIBEDIR)/lib
-
-DISTRIBDIR=/users/serrano/prgm/distrib
-
-INSTALL_BINDIR=/usr/local/bin
-INSTALL_LIBDIR=/usr/local/lib
-INSTALL_FILDIR=/usr/local/lib/skribe/1.2d
-INSTALL_SKRDIR=/usr/local/share/skribe/1.2d/skr
-INSTALL_EXTDIR=/usr/local/share/skribe/extensions
-INSTALL_DOCDIR=/usr/local/doc/skribe-1.2d
-INSTALL_MANDIR=$(DESTDIR)/users/serrano/house/man
-INSTALL_HOSTHTTP=
-INSTALL_MASK=755
-
-RELEASE=2.7a
-
-POSIXOS=linux
-
-RM=/bin/rm
-
-INSTALLBEE=full
-
-BOOTDIR=/users/serrano/prgm/project/bigloo
-BOOTBINDIR=/users/serrano/prgm/project/bigloo/bin
-BOOTLIBDIR=/users/serrano/prgm/project/bigloo/lib/2.7a
-
-DESTDIR=
-BINDIR=/users/serrano/prgm/project/bigloo/bin
-LIBDIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/lib
-FILDIR=/users/serrano/prgm/project/bigloo/lib/2.7a
-ZIPDIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/lib/2.7a
-SYSZIPDIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/lib/2.7a
-DLLDIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/lib/2.7a
-SYSDLLDIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/lib/2.7a
-MANDIR=$(DESTDIR)/users/serrano/house/man
-INFODIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/info
-DOCDIR=$(DESTDIR)/users/serrano/prgm/project/bigloo/manuals
-TMP=/tmp
-
-NATIVEBACKEND=yes
-LIBRARYNAME=bigloo
-
-CC=gcc
-CFLAGS=-O3  -Wswitch -Wtrigraphs
-CSTRIPFLAGS=-s
-CPICFLAGS=-DBGL_NO_PIC
-CFLAGS_P=$(CFLAGS) -pg -fno-inline
-CGCFLAGS=-DSILENT -DNO_SIGNALS -DNO_DEBUGGING -Iinclude -DFINALIZE_ON_DEMAND 
-EXTRALIBS=-ldl -lm
-
-GCLIB=bigloogc
-GCCUSTOM=yes
-GCDIR=$(BOOTDIR)/gc-boehm
-GCINCLUDE=-I$(GCDIR) -I$(GCDIR)/include -I$(GCDIR)/include/private
-
-EXTRA_LD_OPT=
-SHRD_COMP=no
-SHRD_BDE_OPT=
-EXE_SUFFIX=
-AS=gcc -c -x assembler-with-cpp
-
-AR=ar
-ARFLAGS=qc
-RANLIB=ranlib
-SHAREDLIBRARYSUPPORT=yes
-LD=ld -shared
-LDFLAGS=
-LDLIBS=-lc
-LDPRELOADSUPPORT=yes
-LDSONAME=-soname
-
-SHAREDSUFFIX=so
-
-DLOPENSUPPORT=yes
-
-CGCTHREADFLAGS=-DGC_LINUX_THREADS -D_REENTRANT -DGC_THREADS -DTHREAD_LOCAL_ALLOC -DFINALIZE_ON_DEMAND
-PTHREADLIBS=-lpthread
-STRIP=strip
-
-EMACS=emacs
-EMACSDIR=/users/serrano/emacs/site-lisp/bigloo
-EMACSBRAND=emacs21
-EWARN=-eval '(setq byte-compile-error-on-warn t)'
-
-BMASK=755
-
-MAKEINFO=makeinfo
-MAKEINFOOPT=-U oldinfo
-TEXI2DVI=texi2dvi
-TEXI2DVIOPT=-b
-TEXI2HTML=
-TEXI2HTMLOPT=-menu -monolithic -number
-TEXI2PDF=texi2pdf
-INSTALLINFO=
-INSTALLINFODIROPT=
-
-JVMBACKEND=yes
-JAVA=java
-JFLAGS=
-JVFLAGS=-noverify
-JAVAC=javac
-JCFLAGS=-O
-ZIP=zip
-ZFLAGS=
-JAR=jar cmf
-JSHELL=sh
-JVMRECETTEBOOTPATH=-classpath ".:../lib/2.7a/bigloo_s.zip:objs_jvm"
-JVMAPIBOOTPATH=-classpath ".:../../../../../lib/2.7a/bigloo_s.zip"
-CYGWINJVMPATH=
-JVMCLASSPATHSEP=":"
-
-DOTNETBACKEND=yes
-DOTNETCSCC=cscc
-DOTNETCSCCSTYLE=pnet
-DOTNETASM=ilasm.pnet
-DOTNETLD=cscc
-DOTNETLDSTYLE=pnet
-
-DOTNETFTDLLPATH=-L../../../../../lib/2.7a
-DOTNETLINKBIGLOODLL=-lbigloo_s-2.7a.dll
-
-JSMBACKEND=yes
-
-BFLAGS=-O3
-
-SCRIPTEXTENSION=
-C_OBJ_EXTENSION=o
-
-APIS=fthread pthread
-
-
-BIGLOO=bigloo
-BIGLOO_FILDIR=/users/serrano/prgm/project/bigloo/lib/2.7a
-BIGLOO_LIBDIR=/users/serrano/prgm/project/bigloo/lib
-
-BLINKFLAGS=-no-hello -ld-relative -O3 -ldopt ''
-BSAFEFLAGS=-no-hello -fno-reflection -g
-BHEAPFLAGS=-unsafe -q -mkaddheap -mkaddlib
-BCOMMONFLAGS=-no-hello -fno-reflection -O3
-BCFLAGS=-copt "$(CPICFLAGS)"
-BJVMFLAGS=-jvm -jvm-purify -saw -jvm-env SKRIBEPATH
-
-AFILE=afile
-JFILE=jfile
-BTAGS=btags
-BDEPEND=bdepend
-SKRIBEINDENT=bpp
-
-RM=/bin/rm
-
diff --git a/etc/bigloo/Makefile.tpl b/etc/bigloo/Makefile.tpl
deleted file mode 100644
index 24326c1..0000000
--- a/etc/bigloo/Makefile.tpl
+++ /dev/null
@@ -1,200 +0,0 @@
-#*=====================================================================*/
-#*    serrano/prgm/project/skribe/etc/bigloo/Makefile.tpl              */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Wed Nov  7 09:20:47 2001                          */
-#*    Last change :  Wed Feb 18 11:23:12 2004 (serrano)                */
-#*    Copyright   :  2001-04 Manuel Serrano                            */
-#*    -------------------------------------------------------------    */
-#*    Standard Skribe makefile to build various libraries.             */
-#*=====================================================================*/
-
-#*---------------------------------------------------------------------*/
-#*    Compilers, Tools and Destinations                                */
-#*---------------------------------------------------------------------*/
-# The heap file
-HEAP_FILE	= $(LIB)/$(TARGETNAME).heap
-HEAPJVM_FILE	= $(LIB)/$(TARGETNAME).jheap
-# Where to store the library class files
-PBASE		= bigloo.skribe.$(TARGETNAME)
-CLASS_DIR	= o/class_s/bigloo/skribe/$(TARGETNAME)
-O_DIR		= o
-
-BUNSAFEFLAGS	= -unsafe
-
-#*---------------------------------------------------------------------*/
-#*    Suffixes                                                         */
-#*---------------------------------------------------------------------*/
-.SUFFIXES:
-.SUFFIXES: .scm .class .o
-
-#*---------------------------------------------------------------------*/
-#*    The implicit rules                                               */
-#*---------------------------------------------------------------------*/
-$(O_DIR)/%.o: %.scm
-	$(BIGLOO) $(BUNSAFEFLAGS) $(BCFLAGS) $(BCOMMONFLAGS) -c $< -o $@
-
-$(CLASS_DIR)/%.class: %.scm
-	$(BIGLOO) $(BUNSAFEFLAGS) $(BJVMFLAGS) $(BCOMMONFLAGS) -c $< -o $@
-
-#*---------------------------------------------------------------------*/
-#*    bin                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: bin-c bin-jvm
-
-#*--- bin-c -----------------------------------------------------------*/
-bin-c: $(TAGS) .afile .etags $(O_DIR) $(SKRIBEBINDIR)/$(TARGETNAME).bigloo
-
-$(SKRIBEBINDIR)/$(TARGETNAME).bigloo: $(OBJECTS)
-	$(BIGLOO) $(BUNSAFEFLAGS) $(BLINKFLAGS) $(BCOMMONFLAGS) $(OBJECTS) -o $(SKRIBEBINDIR)/$(TARGETNAME).bigloo
-	@ echo "$(SKRIBEBINDIR)/$(TARGETNAME).bigloo done..."
-	@ echo "-------------------------------"
-
-#*--- bin-jvm ---------------------------------------------------------*/
-bin-jvm: $(TAGS) .afile .etags .jfile $(CLASS_DIR) $(SKRIBEBINDIR)/$(TARGETNAME).zip
-
-$(SKRIBEBINDIR)/$(TARGETNAME).zip: $(CLASSES)
-	@ /bin/rm -f $(SKRIBEBINDIR)/$(TARGETNAME).zip
-	@ (cd $(O_DIR)/class_s; \
-           $(ZIP) -q $(ZFLAGS) $(SKRIBEBINDIR)/$(TARGETNAME).zip -r .)
-	@ echo "$(SKRIBEBINDIR)/$(TARGETNAME).zip done..."
-	@ echo "-------------------------------"
-
-#*---------------------------------------------------------------------*/
-#*    Directories                                                      */
-#*---------------------------------------------------------------------*/
-$(O_DIR): 
-	mkdir -p $(O_DIR)
-
-$(CLASS_DIR): 
-	mkdir -p $(CLASS_DIR)
-
-#*---------------------------------------------------------------------*/
-#*    The heap construction                                            */
-#*---------------------------------------------------------------------*/
-.PHONY: heap heap-c heap-jvm
-
-heap-c: $(HEAP_FILE)
-heap-jvm: $(HEAPJVM_FILE)
-
-$(HEAP_FILE): .afile make-lib.scm
-	@ \rm -f $(HEAP_FILE)
-	@ $(BIGLOO) $(BHEAPFLAGS) make-lib.scm -addheap $(HEAP_FILE)
-	@ echo "Heap Done..."
-	@ echo "-------------------------------"
-
-$(HEAPJVM_FILE): .jfile .afile make-lib.scm
-	@ \rm -f $(HEAPJVM_FILE)
-	@ $(BIGLOO) -jvm $(BHEAPFLAGS) make-lib.scm -addheap $(HEAPJVM_FILE)
-	@ echo "Heap JVM Done..."
-	@ echo "-------------------------------"
-
-#*---------------------------------------------------------------------*/
-#*    lib                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: lib-c lib-jvm
-
-#*--- lib-c -----------------------------------------------------------*/
-lib-c: $(TAGS) .afile lib.$(SHAREDSUFFIX) lib.a
-
-lib.$(SHAREDSUFFIX): $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX) $(LIB)/lib$(TARGETNAME)_u.$(SHAREDSUFFIX)
-lib.a: $(LIB)/lib$(TARGETNAME)_s.a $(LIB)/lib$(TARGETNAME)_u.a
-
-$(LIB)/lib$(TARGETNAME)_u.$(SHAREDSUFFIX): $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX)
-	cd $(LIB); \
-        /bin/rm -f lib$(TARGETNAME)_u.$(SHAREDSUFFIX); \
-        ln -s lib$(TARGETNAME)_s.$(SHAREDSUFFIX) lib$(TARGETNAME)_u.$(SHAREDSUFFIX)
-
-$(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX): .afile $(OBJECTS)
-	@ /bin/rm -f $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX)
-	@ $(LD) -o $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX) $(OBJECTS) -lm -lc
-	@ echo "lib$(TARGETNAME)_s.$(SHAREDSUFFIX) Done..."
-	@ echo "-------------------------------"
-
-$(LIB)/lib$(TARGETNAME)_u.a: $(LIB)/lib$(TARGETNAME)_s.a
-	cd $(LIB); \
-        /bin/rm -f lib$(TARGETNAME)_u.a; \
-        ln -s lib$(TARGETNAME)_s.a lib$(TARGETNAME)_u.a
-
-$(LIB)/lib$(TARGETNAME)_s.a: .afile $(OBJECTS)
-	@ /bin/rm -f $(LIB)/lib$(TARGETNAME)_s.a
-	@ $(AR) $(ARFLAGS) $(LIB)/lib$(TARGETNAME)_s.a $(OBJECTS)
-	@ $(RANLIB) $(LIB)/lib$(TARGETNAME)_s.a
-	@ echo "lib$(TARGETNAME)_s.a Done..."
-	@ echo "-------------------------------"
-
-#*--- lib-jvm ---------------------------------------------------------*/
-lib-jvm: $(TAGS) $(CLASS_DIR) lib.zip
-
-lib.zip: .afile .jfile $(CLASSES)
-	@ /bin/rm -f $(LIB)/$(TARGETNAME).zip
-	@ (cd $(O_DIR)/class_s; \
-	  $(ZIP) -q $(ZFLAGS) \
-                 $(LIB)/$(TARGETNAME)_s.zip \
-                 $(CLASS_DIR:$(O_DIR)/class_s/%=%)/*.class)
-	@ echo "lib$(TARGETNAME)_s.zip done..."
-	@ echo "-------------------------------"
-
-#*---------------------------------------------------------------------*/
-#*    ude                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: ude
-ude:
-	@ $(MAKE) -f Makefile .afile .etags
-
-.afile: $(SOURCES)
-	@ $(AFILE) -o .afile $(_BGL_SOURCES) 
-
-.jfile: $(SOURCES)
-	@ $(JFILE) -o .jfile -pbase $(PBASE) $(SOURCES) 
-
-.etags: $(SOURCES)
-	@ $(BTAGS) -o .etags $(_BGL_SOURCES)
-
-#*---------------------------------------------------------------------*/
-#*    stdclean                                                         */
-#*---------------------------------------------------------------------*/
-stdclean:
-	/bin/rm -f $(OBJECTS) $(_BGL_OBJECTS:%=%.c)
-	/bin/rm -f $(SKRIBEBINDIR)/$(TARGETNAME).bigloo
-	/bin/rm -f $(SKRIBEBINDIR)/$(TARGETNAME).zip
-	/bin/rm -f $(LIB)/lib$(TARGETNAME)_s.$(SHAREDSUFFIX)
-	/bin/rm -f $(LIB)/lib$(TARGETNAME)_u.$(SHAREDSUFFIX)
-	/bin/rm -f .afile .etags .jfile
-	/bin/rm -rf $(O_DIR)
-	/bin/rm -f *~
-	/bin/rm -f *.mco
-
-#*---------------------------------------------------------------------*/
-#*    install/uninstall                                                */
-#*---------------------------------------------------------------------*/
-install: 
-	$(MAKE) install-$(TARGET)
-
-uninstall: 
-	$(MAKE) uninstall-$(TARGET)
-
-install-c: $(DESTDIR)$(INSTALL_BINDIR)
-	cp $(SKRIBEBINDIR)/$(TARGETNAME).bigloo $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME).bigloo \
-           && chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME).bigloo
-	/bin/rm -f $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME)
-	ln -s $(TARGETNAME).bigloo $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME)
-
-uninstall-c: 
-	/bin/rm $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME).bigloo
-	/bin/rm $(DESTDIR)$(INSTALL_BINDIR)/$(TARGETNAME)
-
-install-jvm: $(DESTDIR)$(INSTALL_FILDIR)
-	cp $(SKRIBEBINDIR)/$(TARGETNAME).zip $(DESTDIR)$(INSTALL_FILDIR)/$(TARGETNAME).zip
-	cp $(FILDIR)/bigloo_s.zip $(DESTDIR)$(INSTALL_FILDIR)
-
-uninstall-jvm: 
-	/bin/rm $(DESTDIR)$(INSTALL_FILDIR)/$(TARGETNAME).zip
-	/bin/rm -f $(DESTDIR)$(INSTALL_FILDIR)/bigloo_s.zip
-
-$(DESTDIR)$(INSTALL_BINDIR):
-	mkdir -p $(DESTDIR)$(INSTALL_BINDIR) && chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)
-
-$(FILDIR):
-	mkdir -p $(FILDIR) && chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)
-
diff --git a/etc/bigloo/autoconf/bfildir b/etc/bigloo/autoconf/bfildir
deleted file mode 100755
index 128d5c7..0000000
--- a/etc/bigloo/autoconf/bfildir
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/scribe/autoconf/bfildir                     */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Tue Jan 12 14:53:33 1999                          */
-#*    Last change :  Wed Aug  7 21:41:06 2002 (serrano)                */
-#*    -------------------------------------------------------------    */
-#*    Find out the directory where Bigloo is installed                 */
-#*=====================================================================*/
-bigloo=bigloo
-
-#*---------------------------------------------------------------------*/
-#*    We parse the arguments                                           */
-#*---------------------------------------------------------------------*/
-while : ; do
-  case $1 in
-    "")
-      break;;
-    --bigloo=*|-bigloo=*)
-      bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    -*)
-      echo "Unknown option \"$1\", ignored" >&2;;
-  esac
-  shift
-done
-
-#*---------------------------------------------------------------------*/
-#*    We spawn a bigloo process to check its version number            */
-#*---------------------------------------------------------------------*/
-$bigloo -q -eval "(begin (print *default-lib-dir*) (exit 0))"
-
-exit 0
-
-
diff --git a/etc/bigloo/autoconf/blibdir b/etc/bigloo/autoconf/blibdir
deleted file mode 100755
index 603d484..0000000
--- a/etc/bigloo/autoconf/blibdir
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/scribe/autoconf/blibdir                     */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Tue Jan 12 14:53:33 1999                          */
-#*    Last change :  Wed Aug  7 21:41:48 2002 (serrano)                */
-#*    -------------------------------------------------------------    */
-#*    Find out the directory where Bigloo library is read.             */
-#*=====================================================================*/
-bigloo=bigloo
-
-#*---------------------------------------------------------------------*/
-#*    We parse the arguments                                           */
-#*---------------------------------------------------------------------*/
-while : ; do
-  case $1 in
-    "")
-      break;;
-    --bigloo=*|-bigloo=*)
-      bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    -*)
-      echo "Unknown option \"$1\", ignored" >&2;;
-  esac
-  shift
-done
-
-#*---------------------------------------------------------------------*/
-#*    We spawn a bigloo process to check its version number            */
-#*---------------------------------------------------------------------*/
-$bigloo -q -eval "(begin (print *ld-library-dir*) (exit 0))"
-
-exit 0
-
-
diff --git a/etc/bigloo/autoconf/bversion b/etc/bigloo/autoconf/bversion
deleted file mode 100755
index 1f24c86..0000000
--- a/etc/bigloo/autoconf/bversion
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/scribe/autoconf/bversion                    */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Tue Jan 12 14:33:21 1999                          */
-#*    Last change :  Sun Jan 13 07:30:21 2002 (serrano)                */
-#*    -------------------------------------------------------------    */
-#*    Check the current bigloo version                                 */
-#*=====================================================================*/
-
-bigloo=bigloo
-version=2.4b
-
-#*---------------------------------------------------------------------*/
-#*    We parse the arguments                                           */
-#*---------------------------------------------------------------------*/
-while : ; do
-  case $1 in
-    "")
-      break;;
-    --bigloo=*|-bigloo=*)
-      bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --version=*|-version=*)
-      version="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    -*)
-      echo "Unknown option \"$1\", ignored" >&2;;
-  esac
-  shift
-done
-
-#*---------------------------------------------------------------------*/
-#*    We spawn a bigloo process to check its version number            */
-#*---------------------------------------------------------------------*/
-bver=`$bigloo -q -eval "(exit (print *bigloo-version*))"`
-echo $bver
-
-$bigloo -q -eval "(exit (if (string>=? *bigloo-version* \"$version\") 0 1))"
-
-exit $?
diff --git a/etc/bigloo/autoconf/getbversion b/etc/bigloo/autoconf/getbversion
deleted file mode 100755
index ff83b1c..0000000
--- a/etc/bigloo/autoconf/getbversion
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/bglk/autoconf/getbversion                   */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Tue Jan 12 14:33:21 1999                          */
-#*    Last change :  Mon May 22 10:47:46 2000 (serrano)                */
-#*    -------------------------------------------------------------    */
-#*    Get the current bigloo version (with the level)                  */
-#*=====================================================================*/
-
-bigloo=bigloo
- 
-#*---------------------------------------------------------------------*/
-#*    We parse the arguments                                           */
-#*---------------------------------------------------------------------*/
-while : ; do
-  case $1 in
-    "")
-      break;;
-    --bigloo=*|-bigloo=*)
-      bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --version=*|-version=*)
-      version="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    -*)
-      echo "Unknown option \"$1\", ignored" >&2;;
-  esac
-  shift
-done
-
-#*---------------------------------------------------------------------*/
-#*    We spawn a bigloo process to check its version number            */
-#*---------------------------------------------------------------------*/
-$bigloo -q -eval "(begin (print *bigloo-version*) (exit 0))"
diff --git a/etc/bigloo/autoconf/gmaketest b/etc/bigloo/autoconf/gmaketest
deleted file mode 100755
index 1bedd72..0000000
--- a/etc/bigloo/autoconf/gmaketest
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/bigloo/autoconf/gmaketest                   */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Thu Jan 14 10:31:33 1999                          */
-#*    Last change :  Thu May 18 07:19:28 2000 (serrano)                */
-#*    -------------------------------------------------------------    */
-#*    Checsk that Make is GNU make                                     */
-#*=====================================================================*/
-
-#*---------------------------------------------------------------------*/
-#*    flags                                                            */
-#*---------------------------------------------------------------------*/
-make=make
-
-#*---------------------------------------------------------------------*/
-#*    We parse the arguments                                           */
-#*---------------------------------------------------------------------*/
-while : ; do
-  case $1 in
-    "")
-      break;;
-
-    --make=*)
-      make="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    -*)
-      echo "Unknown option \"$1\", ignored" >&2;;
-  esac
-  shift
-done
-
-# Check the make version number
-$make -v --version | grep -i "gnu make" > /dev/null
-
-# Return the grep result
-exit $?
diff --git a/etc/bigloo/configure b/etc/bigloo/configure
deleted file mode 100755
index 9215911..0000000
--- a/etc/bigloo/configure
+++ /dev/null
@@ -1,552 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#*    serrano/prgm/project/skribe/etc/bigloo/configure                 */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Tue Jan 25 16:05:10 1994                          */
-#*    Last change :  Tue Aug 24 10:31:53 2004 (serrano)                */
-#*    Copyright   :  1994-2004 Manuel Serrano, see LICENSE file        */
-#*    -------------------------------------------------------------    */
-#*    The skribe configuration file                                    */
-#*=====================================================================*/
-
-# the name of the current bigloo compiler
-bigloo=bigloo
-target=c
-
-# bigloo compilation flags
-bcommonflags="-no-hello -fno-reflection"
-blinkflags="-no-hello -ld-relative -O3"
-boptflags="$bcommonflags -O3"
-bsafeflags="$bcommonflags -g"
-bflags="$boptflags"
-bheapflags="-unsafe -q -mkaddheap -mkaddlib"
-bcflags="-copt \"$""(CPICFLAGS)\""
-bjvmflags="-jvm -jvm-purify -saw -jvm-env SKRIBEPATH"
-prcs=/usr/bin/prcs
-
-# the afile, jfile and btags binaries
-afile=afile
-jfile=
-btags=btags
-bdepend=bdepend
-
-# C compilation (left blank for automatic configuration (from Bigloo setup))
-cc=
-cflags=
-ldopt=
-
-# path (left blank for automatic configuration (from Bigloo setup))
-bgllibdir=
-bglbindir=
-bgllddir=
-bgldocdir=
-skribebindir=
-skribelibdir=
-skribefildir=
-skribeskrdir=
-skribeextdir=
-skribedocdir=
-skribemandir=
-
-# mask of Skribe intalled files
-smask=755
-
-#*---------------------------------------------------------------------*/
-#*               !!! DON'T EDIT AFTER THIS COMMENT !!!                 */
-#*---------------------------------------------------------------------*/
-if [ "x$DISTRIBDIR" = "x" ]; then
-  distribdir=$HOME/prgm/distrib
-else
-  distribdir=$DISTRIBDIR
-fi
-
-if [ "x$SKRIBERELEASE" = "x" ]; then
-  echo "*** ERROR:configure:release. Aborting"
-  echo "Variable \"SKRIBERELEASE\" is unset."
-  exit 1;
-else
-  release=$SKRIBERELEASE
-fi
-
-if [ "x$SKRIBEBETARELEASE" = "x" ]; then
-  if [ -f $prcs ]; then
-     beta=`$prcs info skribe 2>&1 /dev/null | tail --lines=1 | awk '{ print $2 }' | sed 's/[0-9]*[.][0-9]*[a-z]*/&-beta/'`
-  elif [ -f /usr/local/bin/prcs ]; then
-     beta=`/usr/local/bin/prcs info skribe 2>&1 /dev/null | tail --lines=1 | awk '{ print $2 }' | sed 's/[0-9]*[.][0-9]*[a-z]*/&-beta/'`
-  else
-     beta=no
-  fi
-else
-  beta=$SKRIBEBETARELEASE
-fi
-
-if [ "x$SKRIBEURL" = "x" ]; then
-  skribeurl="http://www.inria.fr/mimosa/fp/Skribe"
-else
-  skribeurl=$SKRIBEURL
-fi
-
-requiredbigloo=2.6c
-
-action=all
-makefile_config=Makefile.skb
-skribe_config=../../src/common/configure.scm
-summary=yes
-
-http="www-sop.inria.fr/mimosa/fp"
-autoconfdir=`dirname $0 2> /dev/null`/autoconf
-bootconfig=false;
-
-if [ $? != "0" ]; then
-   autoconfdir="autoconf"
-fi
-
-# Argument parsing
-while : ; do
-  case $1 in
-    "")
-      break;;
-
-    -c)
-      target=c;;
-
-    -j|--jvm)
-      target=jvm;;
-
-    -|--dotnet)
-      target=dotnet;;
-
-    --skribe_config=*)
-      action="skribe_config";
-      skribe_config="`echo $1 | sed 's/^[-a-z_.]*=//'`";;
-
-    --makefile.skb=*)
-      action="makefile.skb";
-      makefile_config="`echo $1 | sed 's/^[-Da-z.]*=//'`";;
-
-    --bglbindir=*)
-      bglbindir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --bgllibdir=*)
-      bgllibdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --bgllddir=*)
-      bgllddir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --bgldocdir=*)
-      bgldocdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --bindir=*)
-      skribebindir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --libdir=*)
-      skribelibdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --fildir=*)
-      skribefildir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --skrdir=*)
-      skribeskrdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --extdir=*)
-      skribeextdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --docdir=*)
-      skribedocdir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --mandir=*)
-      skribemandir="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --bigloo=*)
-      bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --afile=*)
-      afile="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --jfile=*)
-      jfile="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --btags=*)
-      btags="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --mask=*)
-      smask="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --cc=*)
-      cc="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --cflags=*)
-      cflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --ldopt=*)
-      ldopt="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --backends=*)
-      backends="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --no-summary)
-      summary=no;;
-
-    --debug)
-      bflags="-g -cg $bsafeflags";;
-
-    --debug2)
-      bflags="-g2 -cg $bsafeflags";;
-
-    --debug3)
-      bflags="-g3 -cg $bsafeflags";;
-
-    --optimize)
-      bflags=$boptflags;;
-
-    --bjvmflags=*)
-      bjvmflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --bcflags=*)
-      bcflags="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
-    --prefix=*)
-      prefix="`echo $1 | sed 's/^[^=]*=//'`";
-      skribebindir=$prefix/bin;
-      skribeskrdir=$prefix/share/skribe/$release/skr;
-      skribeextdir=$prefix/share/skribe/extensions;
-      skribelibdir=$prefix/lib
-      skribefildir=$skribelibdir/skribe/$release;
-      skribemandir=$prefix/man/man1;
-      skribedocdir=$prefix/doc/skribe-$release;;
-
-    --bootconfig)
-      bootconfig=true;;
-
-    -*)
-      echo "*** Configure error, unknown option $1" >&2;
-      echo >&2;
-      echo "Usage: configure --with-bigloo [options]" >&2;
-      echo "   -c.................... uses the Bigloo C back-end" >&2;
-      echo "   -j|--jvm.............. uses the Bigloo JVM back-end" >&2;
-      echo "   -d|--dotnet........... uses the Bigloo .NET back-end" >&2;
-      echo "   --skribe_config=file.. sets the name of the skribe-config file" >&2;
-      echo "   --makefile.skb=file... sets the name of the Makefile.skb file" >&2;
-      echo "   --prefix=dir.......... prefix to Skribe install" >&2;
-      echo "   --bindir=file......... alternative Skribe bin directory" >&2;
-      echo "   --libdir=file......... alternative Skribe lib directory" >&2;
-      echo "   --fildir=file......... alternative Skribe file directory" >&2;
-      echo "   --skrdir=file......... Skribe skr directory" >&2;
-      echo "   --bglbindir=file...... Bigloo bin directory" >&2;
-      echo "   --bgllibdir=file...... Bigloo lib directory" >&2;
-      echo "   --bglfildir=file...... Bigloo file directory" >&2;
-      echo "   --bgldocdir=file...... Bigloo doc directory" >&2;
-      echo "   --docdir=file......... Documentation directory" >&2;
-      echo "   --mandir=file......... Manual pages directory" >&2;
-      echo "   --bigloo=comp......... The Bigloo compiler" >&2;
-      echo "   --afile=afile......... The Bigloo afile tool" >&2;
-      echo "   --jfile=jfile......... The Bigloo jfile tool" >&2;
-      echo "   --btags=btags......... The Bigloo btags tool" >&2;
-      echo "   --cc=comp............. The C compiler (for C back-end)" >&2;
-      echo "   --cflags=args......... The C compilation options" >&2;
-      echo "   --ldopt=args.......... The C link options" >&2;
-      echo "   --smask=mask.......... The installation mask" >&2;
-      echo "   --no-summary.......... Private option" >&2;
-      echo "   --debug............... Enables Bigloo debug mode" >&2;
-      echo "   --optimize............ Enables Bigloo optimization mode (default)" >&2;
-      echo "   --bootconfig.......... Private option" >&2;
-      exit -1;
-  esac
-  shift
-done
-
-#*---------------------------------------------------------------------*/
-#*    First check if bigloo exists and if it is recent enough          */
-#*---------------------------------------------------------------------*/
-if [ ! -f $bigloo ]; then
-   which $bigloo > /dev/null 2> /dev/null
-   if [ "$?" != "0" ]; then
-      echo "*** ERROR:configure:bigloo. Aborting"
-      echo "Can't find bigloo."
-      exit 1;
-   fi
-fi
-
-installedbigloo=`$autoconfdir/bversion --bigloo=$bigloo --version=$requiredbigloo`
-
-if [ $? != "0" ]; then
-  echo "*** ERROR:configure:bigloo. Aborting"
-  echo "Your version ($installedbigloo) of Bigloo is too old."
-  echo "Release $requiredbigloo or more recent is required."
-  echo "Bigloo may be downloaded from $http"
-  exit 1;
-fi
-
-#*---------------------------------------------------------------------*/
-#*    The binary directory                                             */
-#*---------------------------------------------------------------------*/
-if [ "$bglbindir " = " " ]; then
-   if [ "$bigloo " = " " ]; then
-      bgl=`which bigloo`;
-   else
-      bgl=`which $bigloo`;
-   fi
-   bglbindir=`dirname $bgl`
-fi
-if [ "$skribebindir " = " " ]; then
-   skribebindir=$prefix/bin;
-fi
-
-#*---------------------------------------------------------------------*/
-#*    The Bigloo library directory                                     */
-#*---------------------------------------------------------------------*/
-if [ "$bgllibdir " = " " ]; then
-   bgllibdir=`$autoconfdir/blibdir --bigloo="$bigloo"`
-fi
-if [ "$bglfildir " = " " ]; then
-   bglfildir=`$autoconfdir/bfildir --bigloo="$bigloo"`
-fi
-
-#*---------------------------------------------------------------------*/
-#*    We check the installed Bigloo Makefile.config file               */
-#*---------------------------------------------------------------------*/
-if [ ! -f $bglfildir/Makefile.config ]; then
-   echo "*** ERROR:configure:Can't find Makefile.config file"
-   echo "Should be $bglfildir/Makefile.config."
-   exit 1;
-fi
-
-#*---------------------------------------------------------------------*/
-#*    jfile                                                            */
-#*---------------------------------------------------------------------*/
-if [ "$jfile " = " " ]; then
-   if [ ! -f $bigloo ]; then
-      which jfile > /dev/null 2> /dev/null
-      if [ "$?" != "0" ]; then
-         jfile=true;
-      else
-         jfile=jfile;
-      fi
-   fi
-fi
-
-#*---------------------------------------------------------------------*/
-#*    We are now able to set the correct value for cc since we know    */
-#*    what Bigloo is.                                                  */
-#*---------------------------------------------------------------------*/
-if [ "$cc " = " " ]; then
-  cc=`$bigloo -eval '(begin (print *cc*) (exit 0))'`
-fi
-
-if [ "$cflags " = " " ]; then
-  cflags=`grep '^CFLAGS=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
-fi
-
-ldflags=`grep '^EXTRALIBS=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
-cpicflags=`grep '^CPICFLAGS=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
-
-#*---------------------------------------------------------------------*/
-#*    Completing dirs                                                  */
-#*---------------------------------------------------------------------*/
-if [ "$skribelibdir " = " " ]; then
-   skribelibdir=$prefix/lib;
-fi
-if [ "$skribefildir " = " " ]; then
-   skribefildir=$skribelibdir/skribe/$release;
-fi
-if [ "$skribeskrdir " = " " ]; then
-   skribeskrdir=$prefix/share/skribe/$release/skr;
-fi
-if [ "$skribeextdir " = " " ]; then
-   skribeextdir=$prefix/share/skribe/extensions;
-fi
-if [ "$bgldocdir " = " " ]; then
-   bgldocdir=`grep '^DOCDIR=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//' | sed 's/[$][(][^)]*[)]//'`
-fi
-if [ "$skribedocdir " = " " ]; then
-   skribedocdir=`dirname $bgldocdir`/skribe-$release
-fi
-if [ "$skribemandir " = " " ]; then
-   skribemandir=`grep '^MANDIR=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
-fi
-if [ "$skribeemacsdir " = " " ]; then
-   skribeemacsdir=`grep '^EMACSDIR=' $bglfildir/Makefile.config | sed 's/^[A-Z]*=//'`
-fi
-
-#*---------------------------------------------------------------------*/
-#*    emacs/skribe.el                                                  */
-#*---------------------------------------------------------------------*/
-cat ../../emacs/skribe.el \
-    | sed "s|@SKRIBE_EMACSDIR@|$skribeemacsdir|" \
-    | sed "s|@SKRIBE_HOSTSCHEMEDOCDIR@|$bgldocdir|" \
-    > ../../emacs/skribe.el.aux \
-    && mv ../../emacs/skribe.el.aux ../../emacs/skribe.el
-
-#*---------------------------------------------------------------------*/
-#*    etc/skribe-config                                                */
-#*---------------------------------------------------------------------*/
-cat ../skribe-config \
-    | sed "s|@SKRIBE_EMACS_DIR@|$skribeemacsdir|" \
-    > ../skribe-config.aux \
-    && mv ../skribe-config.aux ../skribe-config
-
-#*---------------------------------------------------------------------*/
-#*    makefile.skb                                                     */
-#*    -------------------------------------------------------------    */
-#*    This part of the configure script produces the file              */
-#*    makefile.skb. This file contains machine dependant               */
-#*    informations and location where Bigloo is to be installed.       */
-#*---------------------------------------------------------------------*/
-if [ $action = "all" -o $action = "makefile.skb" ]; then
-
-  # We create an unexisting temporary file name
-  name=foo
-  while( test -f "$name.c" -o -f "$name.o" ); do 
-    name="$name"x;
-  done
-
-  # We check the C compiler
-  cat > $name.c <<EOF
-     int foobar( int x ) {
-        return x;
-  }
-EOF
-
-  if $cc $cflags -c $name.c >/dev/null 2>&1
-  then
-     true 
-  else
-     echo "***ERROR:configure:$cc:Can't compile c file -- $cc $cflags -c $name.c";
-     /bin/rm -f $name.c $name.o $name.a; 
-     exit 1
-  fi
-  /bin/rm -f $name.c $name.o $name.a; 
-
-  # We first cleanup the general Makefile config
-  rm -f ../Makefile.config 2> /dev/null
-  echo "## Skribe ($release) configure" > ../Makefile.config
-  echo "## Don't edit, file generated by etc/bigloo/configure" >> ../Makefile.config
-  echo "SKRIBERELEASE=$release" >> ../Makefile.config
-  echo "SKRIBEBETARELEASE=$beta" >> ../Makefile.config
-  echo >> ../Makefile.config
-  echo "SYSTEM=bigloo" >> ../Makefile.config
-  case $target in
-     jvm)
-       echo 'SKRIBE=java -classpath $(BINDIR)/skribe.zip:$(ZIPDIR)/bigloo_s.zip:$(LIBDIR)/bigloo_s.zip bigloo.skribe.main' >> ../Makefile.config;
-       echo 'SKRIBEINFO=java -classpath $(BINDIR)/skribeinfo.zip:$(ZIPDIR)/bigloo_s.zip:$(LIBDIR)/bigloo_s.zip bigloo.skribe.skribeinfo.main' >> ../Makefile.config;
-       echo 'SKRIBEBIBTEX=java -classpath $(BINDIR)/skribebibtex.zip:$(ZIPDIR)/bigloo_s.zip:$(LIBDIR)/bigloo_s.zip bigloo.skribe.skribebibtex.main' >> ../Makefile.config;;
-     *)
-       echo 'SKRIBE=$'"(BINDIR)/skribe.bigloo" >> ../Makefile.config;
-       echo 'SKRIBEINFO=$'"(BINDIR)/skribeinfo.bigloo" >> ../Makefile.config;
-       echo 'SKRIBEBIBTEX=$'"(BINDIR)/skribebibtex.bigloo" >> ../Makefile.config;;
-  esac
-
-  # We first cleanup the file
-  rm -f $makefile_config 2> /dev/null
-  touch $makefile_config
-  echo "## Skribe ($release) configure" >> $makefile_config
-  echo "## Don't edit, file generated by etc/bigloo/configure" >> $makefile_config
-  echo >> $makefile_config
-
-  # The Bigloo target (c, jvm, dotnet)
-  echo "TARGET=$target" >> $makefile_config
-  echo >> $makefile_config
-
-  # The boot directories
-  echo "SKRIBEDIR=`pwd`/../.." >> $makefile_config
-  echo 'SKRIBEBINDIR=$'"(SKRIBEDIR)/bin" >> $makefile_config;
-  echo 'SKRIBELIBDIR=$'"(SKRIBEDIR)/lib" >> $makefile_config;
-  echo 'SKRIBEFILDIR=$'"(SKRIBEDIR)/lib" >> $makefile_config;
-  echo >> $makefile_config
-
-  # The distribution directory
-  echo "DISTRIBDIR=$distribdir" >> $makefile_config
-  echo >> $makefile_config
-
-  # The installation directories
-  echo "INSTALL_BINDIR=$skribebindir" >> $makefile_config
-  echo "INSTALL_LIBDIR=$skribelibdir" >> $makefile_config
-  echo "INSTALL_FILDIR=$skribefildir" >> $makefile_config
-  echo "INSTALL_SKRDIR=$skribeskrdir" >> $makefile_config
-  echo "INSTALL_EXTDIR=$skribeextdir" >> $makefile_config
-  if [ ! "$skribedocdir " = " " ]; then
-    echo "INSTALL_DOCDIR=$skribedocdir" >> $makefile_config;
-  fi
-  if [ ! "$skribemandir " = " " ]; then
-    echo "INSTALL_MANDIR=$skribemandir" >> $makefile_config;
-  fi
-  echo "INSTALL_HOSTHTTP=$skribehttphost" >> $makefile_config
-  echo "INSTALL_MASK=$smask" >> $makefile_config
-  echo >> $makefile_config
- 
-  # The bigloo configuration
-  cat $bglfildir/Makefile.config >> $makefile_config
-  echo >> $makefile_config
-
-  # The bigloo compiler
-  echo "BIGLOO=$bigloo" >> $makefile_config
-  echo "BIGLOO_FILDIR=$bglfildir" >> $makefile_config
-  echo "BIGLOO_LIBDIR=$bgllibdir" >> $makefile_config
-  echo >> $makefile_config
-
-  # The bigloo compiler options
-  echo "BLINKFLAGS=$blinkflags -ldopt '$ldopt'" >> $makefile_config
-  echo "BSAFEFLAGS=$bsafeflags" >> $makefile_config
-  echo "BHEAPFLAGS=$bheapflags" >> $makefile_config
-  echo "BCOMMONFLAGS=$bflags" >> $makefile_config
-  echo "BCFLAGS=$bcflags" >> $makefile_config
-  echo "BJVMFLAGS=$bjvmflags" >> $makefile_config
-  echo >> $makefile_config
-
-  # Bigloo bde
-  echo "AFILE=$afile" >> $makefile_config
-  echo "JFILE=$jfile" >> $makefile_config
-  echo "BTAGS=$btags" >> $makefile_config
-  echo "BDEPEND=$bdepend" >> $makefile_config
-  echo "SKRIBEINDENT=bpp" >> $makefile_config
-  echo >> $makefile_config
-
-  # Misc
-  echo "RM=/bin/rm" >> $makefile_config
-  echo >> $makefile_config
-fi
-
-#*---------------------------------------------------------------------*/
-#*    Ok, we are done now                                              */
-#*---------------------------------------------------------------------*/
-if [ "$summary" = "yes" ]; then
-  echo 
-  echo 
-  echo "** Configuration summary **"
-  echo 
-  echo "Release number:"
-  echo "  Skribe release number................. $release"
-  echo "  Skribe beta number.................... $beta"
-  echo "  Minimum Bigloo version required....... $requiredbigloo"
-  echo "  Installed Bigloo version.............. $installedbigloo"
-  echo
-  echo "Compilers:"
-  echo "  Bigloo................................ $bigloo"
-  echo "  Bigloo link flags..................... $blinkflags"
-  echo "  Bigloo compilation flags.............. $bflags"
-  echo "  Bigloo heap flags..................... $bheapflags"
-  echo "  afile................................. $afile"
-  echo "  jfile................................. $jfile"
-  echo "  btags................................. $btags"
-  echo "  cc.................................... $cc"
-  echo "  cc compilation flags.................. $cflags"
-  echo "  link options.......................... $ldopt"
-  echo 
-  echo "Path:"
-  echo "  Binary directory...................... $skribebindir"
-  echo "  Skr directory......................... $skribeskrdir"
-  echo "  Extensions directory.................. $skribeextdir"
-  echo "  File directory........................ $skribefildir"
-  echo "  Library directory..................... $skribelibdir"
-  echo "  Documentation directory............... $skribedocdir"
-  echo "  Man pages directory................... $skribemandir"
-  echo "  Home page............................. $skribeurl"
-  echo 
-  echo "Misc configuration:"
-  echo "  mask for installed files.............. $smask"
-  echo 
-  echo "Emacs:"
-  echo "  Emacs Lisp files directory............ $skribeemacsdir"
-  echo
-fi
diff --git a/etc/config b/etc/config
deleted file mode 100644
index d9df69f..0000000
--- a/etc/config
+++ /dev/null
@@ -1,4 +0,0 @@
-# Automatically generated file (don't edit)
-release=1.2d
-skribeurl=http://www.inria.fr/mimosa/fp/Skribe
-prefix=/usr/local
diff --git a/etc/skribe-config b/etc/skribe-config
deleted file mode 100644
index d12312b..0000000
--- a/etc/skribe-config
+++ /dev/null
@@ -1,64 +0,0 @@
-#!/bin/sh
-#
-#           Author: Erick Gallesio [eg@essi.fr]
-#    Creation date: 19-Nov-2003 21:04 (eg)
-# Last file update: 19-Nov-2003 22:29 (eg)
-
-
-function usage()
-{
-    cat <<EOF
-Usage: skribe-config [OPTIONS]
-Options:
-	[--prefix | -p]		Prefix that was given during the build
-	[--version | -v]	Version of Skribe that is installed
-	[--skr-dir | -k]	Display the skr directory location
-	[--extension-dir | -e]	Display the extension directory location
-	[--doc-dir | -d]	Display the documentation directory location
-	[--emacs-dir | -m]	Display the emacs directory location
-        [--scheme | -s]         Display the Scheme systeme used
-	[--help | -h | -?]	Show a list of options
-EOF
-    exit $1
-}
-
-
-if test $# -eq 0; then
-    usage 1 1>&2
-fi
-
-while test $# -gt 0; do
-    case $1 in
-	--prefix|-p)
-	    echo /usr/local
-	    ;;
-	--version|-v)
-	    echo 1.2d
-	    ;;
-	--extension-dir|-e) 
-	    echo /usr/local/share/skribe/extensions
-	    ;;
-	--skr-dir|-k) 
-	    echo /usr/local/share/skribe/1.2d/skr
-	    ;;
-	--doc-dir|-d) 
-	    echo /usr/local/doc/skribe-1.2d
-	    ;;
-	--emacs-dir|-m) 
-	    echo /users/serrano/emacs/site-lisp/bigloo
-	    ;;
-	--scheme|-s) 
-	    echo bigloo
-	    ;;
-	--help|-h|-\?)
-	    usage 0 1>&2
-	    ;;
-	*)
-	    echo "bad option $1" 1>&2
-	    usage 1 1>&2
-	    ;;
-    esac
-    shift
-done
-exit 0
-
diff --git a/etc/stklos/Makefile.config.in b/etc/stklos/Makefile.config.in
deleted file mode 100644
index 13a60d8..0000000
--- a/etc/stklos/Makefile.config.in
+++ /dev/null
@@ -1,5 +0,0 @@
-SYSTEM=@SYSTEM@
-SKRIBE=@SKRIBE@
-SKRIBEINFO=@SKRIBEINFO@
-SKRIBEBIBTEX=@SKRIBEBIBTEX@
-
diff --git a/etc/stklos/Makefile.skb.in b/etc/stklos/Makefile.skb.in
deleted file mode 100644
index 7568474..0000000
--- a/etc/stklos/Makefile.skb.in
+++ /dev/null
@@ -1,5 +0,0 @@
-BMASK=0755
-INSTALL_DOCDIR=@PREFIX@/share/doc/skribe-@SKRIBE_RELEASE@
-INSTALL_BINDIR=@PREFIX@/bin
-INSTALL_SKRDIR=@PREFIX@/share/skribe/@SKRIBE_RELEASE@/skr
-INSTALL_EXTDIR=@PREFIX@/share/skribe/extensions
diff --git a/etc/stklos/configure b/etc/stklos/configure
deleted file mode 100755
index e1d2526..0000000
--- a/etc/stklos/configure
+++ /dev/null
@@ -1,830 +0,0 @@
-#! /bin/sh
-
-# Guess values for system-dependent variables and create Makefiles.
-# Generated automatically using autoconf version 2.13 
-# Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
-#
-# This configure script is free software; the Free Software Foundation
-# gives unlimited permission to copy, distribute and modify it.
-
-# Defaults:
-ac_help=
-ac_default_prefix=/usr/local
-# Any additions from configure.in:
-
-# Initialize some variables set by options.
-# The variables have the same names as the options, with
-# dashes changed to underlines.
-build=NONE
-cache_file=./config.cache
-exec_prefix=NONE
-host=NONE
-no_create=
-nonopt=NONE
-no_recursion=
-prefix=NONE
-program_prefix=NONE
-program_suffix=NONE
-program_transform_name=s,x,x,
-silent=
-site=
-srcdir=
-target=NONE
-verbose=
-x_includes=NONE
-x_libraries=NONE
-bindir='${exec_prefix}/bin'
-sbindir='${exec_prefix}/sbin'
-libexecdir='${exec_prefix}/libexec'
-datadir='${prefix}/share'
-sysconfdir='${prefix}/etc'
-sharedstatedir='${prefix}/com'
-localstatedir='${prefix}/var'
-libdir='${exec_prefix}/lib'
-includedir='${prefix}/include'
-oldincludedir='/usr/include'
-infodir='${prefix}/info'
-mandir='${prefix}/man'
-
-# Initialize some other variables.
-subdirs=
-MFLAGS= MAKEFLAGS=
-SHELL=${CONFIG_SHELL-/bin/sh}
-# Maximum number of lines to put in a shell here document.
-ac_max_here_lines=12
-
-ac_prev=
-for ac_option
-do
-
-  # If the previous option needs an argument, assign it.
-  if test -n "$ac_prev"; then
-    eval "$ac_prev=\$ac_option"
-    ac_prev=
-    continue
-  fi
-
-  case "$ac_option" in
-  -*=*) ac_optarg=`echo "$ac_option" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
-  *) ac_optarg= ;;
-  esac
-
-  # Accept the important Cygnus configure options, so we can diagnose typos.
-
-  case "$ac_option" in
-
-  -bindir | --bindir | --bindi | --bind | --bin | --bi)
-    ac_prev=bindir ;;
-  -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
-    bindir="$ac_optarg" ;;
-
-  -build | --build | --buil | --bui | --bu)
-    ac_prev=build ;;
-  -build=* | --build=* | --buil=* | --bui=* | --bu=*)
-    build="$ac_optarg" ;;
-
-  -cache-file | --cache-file | --cache-fil | --cache-fi \
-  | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
-    ac_prev=cache_file ;;
-  -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
-  | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
-    cache_file="$ac_optarg" ;;
-
-  -datadir | --datadir | --datadi | --datad | --data | --dat | --da)
-    ac_prev=datadir ;;
-  -datadir=* | --datadir=* | --datadi=* | --datad=* | --data=* | --dat=* \
-  | --da=*)
-    datadir="$ac_optarg" ;;
-
-  -disable-* | --disable-*)
-    ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
-    # Reject names that are not valid shell variable names.
-    if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
-      { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
-    fi
-    ac_feature=`echo $ac_feature| sed 's/-/_/g'`
-    eval "enable_${ac_feature}=no" ;;
-
-  -enable-* | --enable-*)
-    ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
-    # Reject names that are not valid shell variable names.
-    if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
-      { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
-    fi
-    ac_feature=`echo $ac_feature| sed 's/-/_/g'`
-    case "$ac_option" in
-      *=*) ;;
-      *) ac_optarg=yes ;;
-    esac
-    eval "enable_${ac_feature}='$ac_optarg'" ;;
-
-  -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
-  | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
-  | --exec | --exe | --ex)
-    ac_prev=exec_prefix ;;
-  -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
-  | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
-  | --exec=* | --exe=* | --ex=*)
-    exec_prefix="$ac_optarg" ;;
-
-  -gas | --gas | --ga | --g)
-    # Obsolete; use --with-gas.
-    with_gas=yes ;;
-
-  -help | --help | --hel | --he)
-    # Omit some internal or obsolete options to make the list less imposing.
-    # This message is too long to be a string in the A/UX 3.1 sh.
-    cat << EOF
-Usage: configure [options] [host]
-Options: [defaults in brackets after descriptions]
-Configuration:
-  --cache-file=FILE       cache test results in FILE
-  --help                  print this message
-  --no-create             do not create output files
-  --quiet, --silent       do not print \`checking...' messages
-  --version               print the version of autoconf that created configure
-Directory and file names:
-  --prefix=PREFIX         install architecture-independent files in PREFIX
-                          [$ac_default_prefix]
-  --exec-prefix=EPREFIX   install architecture-dependent files in EPREFIX
-                          [same as prefix]
-  --bindir=DIR            user executables in DIR [EPREFIX/bin]
-  --sbindir=DIR           system admin executables in DIR [EPREFIX/sbin]
-  --libexecdir=DIR        program executables in DIR [EPREFIX/libexec]
-  --datadir=DIR           read-only architecture-independent data in DIR
-                          [PREFIX/share]
-  --sysconfdir=DIR        read-only single-machine data in DIR [PREFIX/etc]
-  --sharedstatedir=DIR    modifiable architecture-independent data in DIR
-                          [PREFIX/com]
-  --localstatedir=DIR     modifiable single-machine data in DIR [PREFIX/var]
-  --libdir=DIR            object code libraries in DIR [EPREFIX/lib]
-  --includedir=DIR        C header files in DIR [PREFIX/include]
-  --oldincludedir=DIR     C header files for non-gcc in DIR [/usr/include]
-  --infodir=DIR           info documentation in DIR [PREFIX/info]
-  --mandir=DIR            man documentation in DIR [PREFIX/man]
-  --srcdir=DIR            find the sources in DIR [configure dir or ..]
-  --program-prefix=PREFIX prepend PREFIX to installed program names
-  --program-suffix=SUFFIX append SUFFIX to installed program names
-  --program-transform-name=PROGRAM
-                          run sed PROGRAM on installed program names
-EOF
-    cat << EOF
-Host type:
-  --build=BUILD           configure for building on BUILD [BUILD=HOST]
-  --host=HOST             configure for HOST [guessed]
-  --target=TARGET         configure for TARGET [TARGET=HOST]
-Features and packages:
-  --disable-FEATURE       do not include FEATURE (same as --enable-FEATURE=no)
-  --enable-FEATURE[=ARG]  include FEATURE [ARG=yes]
-  --with-PACKAGE[=ARG]    use PACKAGE [ARG=yes]
-  --without-PACKAGE       do not use PACKAGE (same as --with-PACKAGE=no)
-  --x-includes=DIR        X include files are in DIR
-  --x-libraries=DIR       X library files are in DIR
-EOF
-    if test -n "$ac_help"; then
-      echo "--enable and --with options recognized:$ac_help"
-    fi
-    exit 0 ;;
-
-  -host | --host | --hos | --ho)
-    ac_prev=host ;;
-  -host=* | --host=* | --hos=* | --ho=*)
-    host="$ac_optarg" ;;
-
-  -includedir | --includedir | --includedi | --included | --include \
-  | --includ | --inclu | --incl | --inc)
-    ac_prev=includedir ;;
-  -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
-  | --includ=* | --inclu=* | --incl=* | --inc=*)
-    includedir="$ac_optarg" ;;
-
-  -infodir | --infodir | --infodi | --infod | --info | --inf)
-    ac_prev=infodir ;;
-  -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
-    infodir="$ac_optarg" ;;
-
-  -libdir | --libdir | --libdi | --libd)
-    ac_prev=libdir ;;
-  -libdir=* | --libdir=* | --libdi=* | --libd=*)
-    libdir="$ac_optarg" ;;
-
-  -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
-  | --libexe | --libex | --libe)
-    ac_prev=libexecdir ;;
-  -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
-  | --libexe=* | --libex=* | --libe=*)
-    libexecdir="$ac_optarg" ;;
-
-  -localstatedir | --localstatedir | --localstatedi | --localstated \
-  | --localstate | --localstat | --localsta | --localst \
-  | --locals | --local | --loca | --loc | --lo)
-    ac_prev=localstatedir ;;
-  -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
-  | --localstate=* | --localstat=* | --localsta=* | --localst=* \
-  | --locals=* | --local=* | --loca=* | --loc=* | --lo=*)
-    localstatedir="$ac_optarg" ;;
-
-  -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
-    ac_prev=mandir ;;
-  -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
-    mandir="$ac_optarg" ;;
-
-  -nfp | --nfp | --nf)
-    # Obsolete; use --without-fp.
-    with_fp=no ;;
-
-  -no-create | --no-create | --no-creat | --no-crea | --no-cre \
-  | --no-cr | --no-c)
-    no_create=yes ;;
-
-  -no-recursion | --no-recursion | --no-recursio | --no-recursi \
-  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
-    no_recursion=yes ;;
-
-  -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
-  | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
-  | --oldin | --oldi | --old | --ol | --o)
-    ac_prev=oldincludedir ;;
-  -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
-  | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
-  | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
-    oldincludedir="$ac_optarg" ;;
-
-  -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
-    ac_prev=prefix ;;
-  -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
-    prefix="$ac_optarg" ;;
-
-  -program-prefix | --program-prefix | --program-prefi | --program-pref \
-  | --program-pre | --program-pr | --program-p)
-    ac_prev=program_prefix ;;
-  -program-prefix=* | --program-prefix=* | --program-prefi=* \
-  | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
-    program_prefix="$ac_optarg" ;;
-
-  -program-suffix | --program-suffix | --program-suffi | --program-suff \
-  | --program-suf | --program-su | --program-s)
-    ac_prev=program_suffix ;;
-  -program-suffix=* | --program-suffix=* | --program-suffi=* \
-  | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
-    program_suffix="$ac_optarg" ;;
-
-  -program-transform-name | --program-transform-name \
-  | --program-transform-nam | --program-transform-na \
-  | --program-transform-n | --program-transform- \
-  | --program-transform | --program-transfor \
-  | --program-transfo | --program-transf \
-  | --program-trans | --program-tran \
-  | --progr-tra | --program-tr | --program-t)
-    ac_prev=program_transform_name ;;
-  -program-transform-name=* | --program-transform-name=* \
-  | --program-transform-nam=* | --program-transform-na=* \
-  | --program-transform-n=* | --program-transform-=* \
-  | --program-transform=* | --program-transfor=* \
-  | --program-transfo=* | --program-transf=* \
-  | --program-trans=* | --program-tran=* \
-  | --progr-tra=* | --program-tr=* | --program-t=*)
-    program_transform_name="$ac_optarg" ;;
-
-  -q | -quiet | --quiet | --quie | --qui | --qu | --q \
-  | -silent | --silent | --silen | --sile | --sil)
-    silent=yes ;;
-
-  -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
-    ac_prev=sbindir ;;
-  -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
-  | --sbi=* | --sb=*)
-    sbindir="$ac_optarg" ;;
-
-  -sharedstatedir | --sharedstatedir | --sharedstatedi \
-  | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
-  | --sharedst | --shareds | --shared | --share | --shar \
-  | --sha | --sh)
-    ac_prev=sharedstatedir ;;
-  -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
-  | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
-  | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
-  | --sha=* | --sh=*)
-    sharedstatedir="$ac_optarg" ;;
-
-  -site | --site | --sit)
-    ac_prev=site ;;
-  -site=* | --site=* | --sit=*)
-    site="$ac_optarg" ;;
-
-  -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
-    ac_prev=srcdir ;;
-  -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
-    srcdir="$ac_optarg" ;;
-
-  -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
-  | --syscon | --sysco | --sysc | --sys | --sy)
-    ac_prev=sysconfdir ;;
-  -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
-  | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
-    sysconfdir="$ac_optarg" ;;
-
-  -target | --target | --targe | --targ | --tar | --ta | --t)
-    ac_prev=target ;;
-  -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
-    target="$ac_optarg" ;;
-
-  -v | -verbose | --verbose | --verbos | --verbo | --verb)
-    verbose=yes ;;
-
-  -version | --version | --versio | --versi | --vers)
-    echo "configure generated by autoconf version 2.13"
-    exit 0 ;;
-
-  -with-* | --with-*)
-    ac_package=`echo $ac_option|sed -e 's/-*with-//' -e 's/=.*//'`
-    # Reject names that are not valid shell variable names.
-    if test -n "`echo $ac_package| sed 's/[-_a-zA-Z0-9]//g'`"; then
-      { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
-    fi
-    ac_package=`echo $ac_package| sed 's/-/_/g'`
-    case "$ac_option" in
-      *=*) ;;
-      *) ac_optarg=yes ;;
-    esac
-    eval "with_${ac_package}='$ac_optarg'" ;;
-
-  -without-* | --without-*)
-    ac_package=`echo $ac_option|sed -e 's/-*without-//'`
-    # Reject names that are not valid shell variable names.
-    if test -n "`echo $ac_package| sed 's/[-a-zA-Z0-9_]//g'`"; then
-      { echo "configure: error: $ac_package: invalid package name" 1>&2; exit 1; }
-    fi
-    ac_package=`echo $ac_package| sed 's/-/_/g'`
-    eval "with_${ac_package}=no" ;;
-
-  --x)
-    # Obsolete; use --with-x.
-    with_x=yes ;;
-
-  -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
-  | --x-incl | --x-inc | --x-in | --x-i)
-    ac_prev=x_includes ;;
-  -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
-  | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
-    x_includes="$ac_optarg" ;;
-
-  -x-libraries | --x-libraries | --x-librarie | --x-librari \
-  | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
-    ac_prev=x_libraries ;;
-  -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
-  | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
-    x_libraries="$ac_optarg" ;;
-
-  -*) { echo "configure: error: $ac_option: invalid option; use --help to show usage" 1>&2; exit 1; }
-    ;;
-
-  *)
-    if test -n "`echo $ac_option| sed 's/[-a-z0-9.]//g'`"; then
-      echo "configure: warning: $ac_option: invalid host type" 1>&2
-    fi
-    if test "x$nonopt" != xNONE; then
-      { echo "configure: error: can only configure for one host and one target at a time" 1>&2; exit 1; }
-    fi
-    nonopt="$ac_option"
-    ;;
-
-  esac
-done
-
-if test -n "$ac_prev"; then
-  { echo "configure: error: missing argument to --`echo $ac_prev | sed 's/_/-/g'`" 1>&2; exit 1; }
-fi
-
-trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
-
-# File descriptor usage:
-# 0 standard input
-# 1 file creation
-# 2 errors and warnings
-# 3 some systems may open it to /dev/tty
-# 4 used on the Kubota Titan
-# 6 checking for... messages and results
-# 5 compiler messages saved in config.log
-if test "$silent" = yes; then
-  exec 6>/dev/null
-else
-  exec 6>&1
-fi
-exec 5>./config.log
-
-echo "\
-This file contains any messages produced by compilers while
-running configure, to aid debugging if configure makes a mistake.
-" 1>&5
-
-# Strip out --no-create and --no-recursion so they do not pile up.
-# Also quote any args containing shell metacharacters.
-ac_configure_args=
-for ac_arg
-do
-  case "$ac_arg" in
-  -no-create | --no-create | --no-creat | --no-crea | --no-cre \
-  | --no-cr | --no-c) ;;
-  -no-recursion | --no-recursion | --no-recursio | --no-recursi \
-  | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r) ;;
-  *" "*|*"	"*|*[\[\]\~\#\$\^\&\*\(\)\{\}\\\|\;\<\>\?]*)
-  ac_configure_args="$ac_configure_args '$ac_arg'" ;;
-  *) ac_configure_args="$ac_configure_args $ac_arg" ;;
-  esac
-done
-
-# NLS nuisances.
-# Only set these to C if already set.  These must not be set unconditionally
-# because not all systems understand e.g. LANG=C (notably SCO).
-# Fixing LC_MESSAGES prevents Solaris sh from translating var values in `set'!
-# Non-C LC_CTYPE values break the ctype check.
-if test "${LANG+set}"   = set; then LANG=C;   export LANG;   fi
-if test "${LC_ALL+set}" = set; then LC_ALL=C; export LC_ALL; fi
-if test "${LC_MESSAGES+set}" = set; then LC_MESSAGES=C; export LC_MESSAGES; fi
-if test "${LC_CTYPE+set}"    = set; then LC_CTYPE=C;    export LC_CTYPE;    fi
-
-# confdefs.h avoids OS command line length limits that DEFS can exceed.
-rm -rf conftest* confdefs.h
-# AIX cpp loses on an empty file, so make sure it contains at least a newline.
-echo > confdefs.h
-
-# A filename unique to this package, relative to the directory that
-# configure is in, which we can look for to find out if srcdir is correct.
-ac_unique_file=../../src/common/api.scm
-
-# Find the source files, if location was not specified.
-if test -z "$srcdir"; then
-  ac_srcdir_defaulted=yes
-  # Try the directory containing this script, then its parent.
-  ac_prog=$0
-  ac_confdir=`echo $ac_prog|sed 's%/[^/][^/]*$%%'`
-  test "x$ac_confdir" = "x$ac_prog" && ac_confdir=.
-  srcdir=$ac_confdir
-  if test ! -r $srcdir/$ac_unique_file; then
-    srcdir=..
-  fi
-else
-  ac_srcdir_defaulted=no
-fi
-if test ! -r $srcdir/$ac_unique_file; then
-  if test "$ac_srcdir_defaulted" = yes; then
-    { echo "configure: error: can not find sources in $ac_confdir or .." 1>&2; exit 1; }
-  else
-    { echo "configure: error: can not find sources in $srcdir" 1>&2; exit 1; }
-  fi
-fi
-srcdir=`echo "${srcdir}" | sed 's%\([^/]\)/*$%\1%'`
-
-# Prefer explicitly selected file to automatically selected ones.
-if test -z "$CONFIG_SITE"; then
-  if test "x$prefix" != xNONE; then
-    CONFIG_SITE="$prefix/share/config.site $prefix/etc/config.site"
-  else
-    CONFIG_SITE="$ac_default_prefix/share/config.site $ac_default_prefix/etc/config.site"
-  fi
-fi
-for ac_site_file in $CONFIG_SITE; do
-  if test -r "$ac_site_file"; then
-    echo "loading site script $ac_site_file"
-    . "$ac_site_file"
-  fi
-done
-
-if test -r "$cache_file"; then
-  echo "loading cache $cache_file"
-  . $cache_file
-else
-  echo "creating cache $cache_file"
-  > $cache_file
-fi
-
-ac_ext=c
-# CFLAGS is not in ac_cpp because -g, -O, etc. are not valid cpp options.
-ac_cpp='$CPP $CPPFLAGS'
-ac_compile='${CC-cc} -c $CFLAGS $CPPFLAGS conftest.$ac_ext 1>&5'
-ac_link='${CC-cc} -o conftest${ac_exeext} $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS 1>&5'
-cross_compiling=$ac_cv_prog_cc_cross
-
-ac_exeext=
-ac_objext=o
-if (echo "testing\c"; echo 1,2,3) | grep c >/dev/null; then
-  # Stardent Vistra SVR4 grep lacks -e, says ghazi@caip.rutgers.edu.
-  if (echo -n testing; echo 1,2,3) | sed s/-n/xn/ | grep xn >/dev/null; then
-    ac_n= ac_c='
-' ac_t='	'
-  else
-    ac_n=-n ac_c= ac_t=
-  fi
-else
-  ac_n= ac_c='\c' ac_t=
-fi
-
-
-### AM_INIT_AUTOMAKE(skribe,0.0)
-PACKAGE=skribe
-
-SYSTEM=stklos
-SKRIBE='$(BINDIR)/skribe.stklos'
-SKRIBEBIBTEX='$(BINDIR)/skribebibtex.stklos'
-
-##
-## Initialize prefix
-##
-if test "${prefix}" = "NONE" -o "$prefix" = "" ;then
-   prefix="/usr/local"
-fi
-
-##
-## Get information from ../config
-##
-if test -f ../config ;then
-  . ../config
-else
-  echo "You must configure Skribe from  the ../.. directory"
-  exit 1
-fi
-
-
-PREFIX=$prefix
-SKRIBE_RELEASE=${release}
-SKRIBE_URL=${skribeurl}
-
-##
-## Substitutions
-##
-
-
-
-
-
-
-
-
-
-#
-# Outputs
-#
-trap '' 1 2 15
-cat > confcache <<\EOF
-# This file is a shell script that caches the results of configure
-# tests run on this system so they can be shared between configure
-# scripts and configure runs.  It is not useful on other systems.
-# If it contains results you don't want to keep, you may remove or edit it.
-#
-# By default, configure uses ./config.cache as the cache file,
-# creating it if it does not exist already.  You can give configure
-# the --cache-file=FILE option to use a different cache file; that is
-# what configure does when it calls configure scripts in
-# subdirectories, so they share the cache.
-# Giving --cache-file=/dev/null disables caching, for debugging configure.
-# config.status only pays attention to the cache file if you give it the
-# --recheck option to rerun configure.
-#
-EOF
-# The following way of writing the cache mishandles newlines in values,
-# but we know of no workaround that is simple, portable, and efficient.
-# So, don't put newlines in cache variables' values.
-# Ultrix sh set writes to stderr and can't be redirected directly,
-# and sets the high bit in the cache file unless we assign to the vars.
-(set) 2>&1 |
-  case `(ac_space=' '; set | grep ac_space) 2>&1` in
-  *ac_space=\ *)
-    # `set' does not quote correctly, so add quotes (double-quote substitution
-    # turns \\\\ into \\, and sed turns \\ into \).
-    sed -n \
-      -e "s/'/'\\\\''/g" \
-      -e "s/^\\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\\)=\\(.*\\)/\\1=\${\\1='\\2'}/p"
-    ;;
-  *)
-    # `set' quotes correctly as required by POSIX, so do not add quotes.
-    sed -n -e 's/^\([a-zA-Z0-9_]*_cv_[a-zA-Z0-9_]*\)=\(.*\)/\1=${\1=\2}/p'
-    ;;
-  esac >> confcache
-if cmp -s $cache_file confcache; then
-  :
-else
-  if test -w $cache_file; then
-    echo "updating cache $cache_file"
-    cat confcache > $cache_file
-  else
-    echo "not updating unwritable cache $cache_file"
-  fi
-fi
-rm -f confcache
-
-trap 'rm -fr conftest* confdefs* core core.* *.core $ac_clean_files; exit 1' 1 2 15
-
-test "x$prefix" = xNONE && prefix=$ac_default_prefix
-# Let make expand exec_prefix.
-test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
-
-# Any assignment to VPATH causes Sun make to only execute
-# the first set of double-colon rules, so remove it if not needed.
-# If there is a colon in the path, we need to keep it.
-if test "x$srcdir" = x.; then
-  ac_vpsub='/^[ 	]*VPATH[ 	]*=[^:]*$/d'
-fi
-
-trap 'rm -f $CONFIG_STATUS conftest*; exit 1' 1 2 15
-
-# Transform confdefs.h into DEFS.
-# Protect against shell expansion while executing Makefile rules.
-# Protect against Makefile macro expansion.
-cat > conftest.defs <<\EOF
-s%#define \([A-Za-z_][A-Za-z0-9_]*\) *\(.*\)%-D\1=\2%g
-s%[ 	`~#$^&*(){}\\|;'"<>?]%\\&%g
-s%\[%\\&%g
-s%\]%\\&%g
-s%\$%$$%g
-EOF
-DEFS=`sed -f conftest.defs confdefs.h | tr '\012' ' '`
-rm -f conftest.defs
-
-
-# Without the "./", some shells look in PATH for config.status.
-: ${CONFIG_STATUS=./config.status}
-
-echo creating $CONFIG_STATUS
-rm -f $CONFIG_STATUS
-cat > $CONFIG_STATUS <<EOF
-#! /bin/sh
-# Generated automatically by configure.
-# Run this file to recreate the current configuration.
-# This directory was configured as follows,
-# on host `(hostname || uname -n) 2>/dev/null | sed 1q`:
-#
-# $0 $ac_configure_args
-#
-# Compiler output produced by configure, useful for debugging
-# configure, is in ./config.log if it exists.
-
-ac_cs_usage="Usage: $CONFIG_STATUS [--recheck] [--version] [--help]"
-for ac_option
-do
-  case "\$ac_option" in
-  -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
-    echo "running \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion"
-    exec \${CONFIG_SHELL-/bin/sh} $0 $ac_configure_args --no-create --no-recursion ;;
-  -version | --version | --versio | --versi | --vers | --ver | --ve | --v)
-    echo "$CONFIG_STATUS generated by autoconf version 2.13"
-    exit 0 ;;
-  -help | --help | --hel | --he | --h)
-    echo "\$ac_cs_usage"; exit 0 ;;
-  *) echo "\$ac_cs_usage"; exit 1 ;;
-  esac
-done
-
-ac_given_srcdir=$srcdir
-
-trap 'rm -fr `echo "Makefile ../../src/stklos/Makefile Makefile.config Makefile.skb" | sed "s/:[^ ]*//g"` conftest*; exit 1' 1 2 15
-EOF
-cat >> $CONFIG_STATUS <<EOF
-
-# Protect against being on the right side of a sed subst in config.status.
-sed 's/%@/@@/; s/@%/@@/; s/%g\$/@g/; /@g\$/s/[\\\\&%]/\\\\&/g;
- s/@@/%@/; s/@@/@%/; s/@g\$/%g/' > conftest.subs <<\\CEOF
-$ac_vpsub
-$extrasub
-s%@SHELL@%$SHELL%g
-s%@CFLAGS@%$CFLAGS%g
-s%@CPPFLAGS@%$CPPFLAGS%g
-s%@CXXFLAGS@%$CXXFLAGS%g
-s%@FFLAGS@%$FFLAGS%g
-s%@DEFS@%$DEFS%g
-s%@LDFLAGS@%$LDFLAGS%g
-s%@LIBS@%$LIBS%g
-s%@exec_prefix@%$exec_prefix%g
-s%@prefix@%$prefix%g
-s%@program_transform_name@%$program_transform_name%g
-s%@bindir@%$bindir%g
-s%@sbindir@%$sbindir%g
-s%@libexecdir@%$libexecdir%g
-s%@datadir@%$datadir%g
-s%@sysconfdir@%$sysconfdir%g
-s%@sharedstatedir@%$sharedstatedir%g
-s%@localstatedir@%$localstatedir%g
-s%@libdir@%$libdir%g
-s%@includedir@%$includedir%g
-s%@oldincludedir@%$oldincludedir%g
-s%@infodir@%$infodir%g
-s%@mandir@%$mandir%g
-s%@PACKAGE@%$PACKAGE%g
-s%@PREFIX@%$PREFIX%g
-s%@SKRIBE_RELEASE@%$SKRIBE_RELEASE%g
-s%@SKRIBE_URL@%$SKRIBE_URL%g
-s%@SYSTEM@%$SYSTEM%g
-s%@SKRIBE@%$SKRIBE%g
-s%@SKRIBEINFO@%$SKRIBEINFO%g
-s%@SKRIBEBIBTEX@%$SKRIBEBIBTEX%g
-
-CEOF
-EOF
-
-cat >> $CONFIG_STATUS <<\EOF
-
-# Split the substitutions into bite-sized pieces for seds with
-# small command number limits, like on Digital OSF/1 and HP-UX.
-ac_max_sed_cmds=90 # Maximum number of lines to put in a sed script.
-ac_file=1 # Number of current file.
-ac_beg=1 # First line for current file.
-ac_end=$ac_max_sed_cmds # Line after last line for current file.
-ac_more_lines=:
-ac_sed_cmds=""
-while $ac_more_lines; do
-  if test $ac_beg -gt 1; then
-    sed "1,${ac_beg}d; ${ac_end}q" conftest.subs > conftest.s$ac_file
-  else
-    sed "${ac_end}q" conftest.subs > conftest.s$ac_file
-  fi
-  if test ! -s conftest.s$ac_file; then
-    ac_more_lines=false
-    rm -f conftest.s$ac_file
-  else
-    if test -z "$ac_sed_cmds"; then
-      ac_sed_cmds="sed -f conftest.s$ac_file"
-    else
-      ac_sed_cmds="$ac_sed_cmds | sed -f conftest.s$ac_file"
-    fi
-    ac_file=`expr $ac_file + 1`
-    ac_beg=$ac_end
-    ac_end=`expr $ac_end + $ac_max_sed_cmds`
-  fi
-done
-if test -z "$ac_sed_cmds"; then
-  ac_sed_cmds=cat
-fi
-EOF
-
-cat >> $CONFIG_STATUS <<EOF
-
-CONFIG_FILES=\${CONFIG_FILES-"Makefile ../../src/stklos/Makefile Makefile.config Makefile.skb"}
-EOF
-cat >> $CONFIG_STATUS <<\EOF
-for ac_file in .. $CONFIG_FILES; do if test "x$ac_file" != x..; then
-  # Support "outfile[:infile[:infile...]]", defaulting infile="outfile.in".
-  case "$ac_file" in
-  *:*) ac_file_in=`echo "$ac_file"|sed 's%[^:]*:%%'`
-       ac_file=`echo "$ac_file"|sed 's%:.*%%'` ;;
-  *) ac_file_in="${ac_file}.in" ;;
-  esac
-
-  # Adjust a relative srcdir, top_srcdir, and INSTALL for subdirectories.
-
-  # Remove last slash and all that follows it.  Not all systems have dirname.
-  ac_dir=`echo $ac_file|sed 's%/[^/][^/]*$%%'`
-  if test "$ac_dir" != "$ac_file" && test "$ac_dir" != .; then
-    # The file is in a subdirectory.
-    test ! -d "$ac_dir" && mkdir "$ac_dir"
-    ac_dir_suffix="/`echo $ac_dir|sed 's%^\./%%'`"
-    # A "../" for each directory in $ac_dir_suffix.
-    ac_dots=`echo $ac_dir_suffix|sed 's%/[^/]*%../%g'`
-  else
-    ac_dir_suffix= ac_dots=
-  fi
-
-  case "$ac_given_srcdir" in
-  .)  srcdir=.
-      if test -z "$ac_dots"; then top_srcdir=.
-      else top_srcdir=`echo $ac_dots|sed 's%/$%%'`; fi ;;
-  /*) srcdir="$ac_given_srcdir$ac_dir_suffix"; top_srcdir="$ac_given_srcdir" ;;
-  *) # Relative path.
-    srcdir="$ac_dots$ac_given_srcdir$ac_dir_suffix"
-    top_srcdir="$ac_dots$ac_given_srcdir" ;;
-  esac
-
-
-  echo creating "$ac_file"
-  rm -f "$ac_file"
-  configure_input="Generated automatically from `echo $ac_file_in|sed 's%.*/%%'` by configure."
-  case "$ac_file" in
-  *Makefile*) ac_comsub="1i\\
-# $configure_input" ;;
-  *) ac_comsub= ;;
-  esac
-
-  ac_file_inputs=`echo $ac_file_in|sed -e "s%^%$ac_given_srcdir/%" -e "s%:% $ac_given_srcdir/%g"`
-  sed -e "$ac_comsub
-s%@configure_input@%$configure_input%g
-s%@srcdir@%$srcdir%g
-s%@top_srcdir@%$top_srcdir%g
-" $ac_file_inputs | (eval "$ac_sed_cmds") > $ac_file
-fi; done
-rm -f conftest.s*
-
-EOF
-cat >> $CONFIG_STATUS <<EOF
-
-EOF
-cat >> $CONFIG_STATUS <<\EOF
-
-exit 0
-EOF
-chmod +x $CONFIG_STATUS
-rm -fr confdefs* $ac_clean_files
-test "$no_create" = yes || ${CONFIG_SHELL-/bin/sh} $CONFIG_STATUS || exit 1
-
-
-# Makefile.config must be in the parent directory
-mv Makefile.config ..
-
diff --git a/etc/stklos/configure.in b/etc/stklos/configure.in
deleted file mode 100644
index 956af77..0000000
--- a/etc/stklos/configure.in
+++ /dev/null
@@ -1,57 +0,0 @@
-dnl 
-dnl Configure.in for Skribe
-dnl
-dnl           Author: Erick Gallesio [eg@essi.fr]
-dnl    Creation date: 23-Jul-2003 12:04 (eg)
-dnl Last file update: 26-Oct-2004 20:24 (eg)
-
-AC_INIT(../../src/common/api.scm)
-### AM_INIT_AUTOMAKE(skribe,0.0)
-PACKAGE=skribe
-
-SYSTEM=stklos
-SKRIBE='$(BINDIR)/skribe.stklos'
-SKRIBEBIBTEX='$(BINDIR)/skribebibtex.stklos'
-
-##
-## Initialize prefix
-##
-if test "${prefix}" = "NONE" -o "$prefix" = "" ;then
-   prefix="/usr/local"
-fi
-
-##
-## Get information from ../config
-##
-if test -f ../config ;then
-  . ../config
-else
-  echo "You must configure Skribe from  the ../.. directory"
-  exit 1
-fi
-
-
-PREFIX=$prefix
-SKRIBE_RELEASE=${release}
-SKRIBE_URL=${skribeurl}
-
-##
-## Substitutions
-##
-AC_SUBST(PACKAGE)
-AC_SUBST(PREFIX)
-AC_SUBST(SKRIBE_RELEASE)
-AC_SUBST(SKRIBE_URL)
-AC_SUBST(SYSTEM)
-AC_SUBST(SKRIBE)
-AC_SUBST(SKRIBEINFO)
-AC_SUBST(SKRIBEBIBTEX)
-
-#
-# Outputs
-#
-AC_OUTPUT(Makefile ../../src/stklos/Makefile Makefile.config Makefile.skb)
-
-# Makefile.config must be in the parent directory
-mv Makefile.config ..
-
diff --git a/etc/skribe-config.in b/src/skribe-config.in
index 2a03e26..2a03e26 100644
--- a/etc/skribe-config.in
+++ b/src/skribe-config.in