Initial import of Skribe 1.2d.

Initial import of Skribe 1.2d.


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

21 files changed, 3095 insertions, 0 deletions

diff --git a/etc/ChangeLog b/etc/ChangeLog
new file mode 100644
index 0000000..6987245
--- /dev/null
+++ b/etc/ChangeLog
@@ -0,0 +1,698 @@
+Thu Jun  2 10:58:23 CEST 2005 (Manuel Serrano):
+
+	*** Minor changes in acmproc.skr and html.skr in order to improve
+	HTML div generation of abstracts.
+	
+
+Thu May 26 12:59:53 CEST 2005 (Manuel Serrano):
+
+	*** Fix LaTeX author address printing.
+	
+
+Sun Apr 10 09:10:31 CEST 2005 (Manuel Serrano):
+
+	* Handles correctly LaTeX \charNUMNUMNUM commands in Skribebibtex.
+	This enables handling ~ as \char126.
+
+
+Fri Mar  4 08:44:36 CET 2005 (Manuel Serrano):
+
+	*** Fix HTML inner links. If the reference pointed to by a link
+	is located inside the document, the link doest contain the file name
+	any longer. This enables the renaming of the HTML file while preserving
+	the correctness of the HTML links.
+	
+
+Wed Nov 17 11:10:53 CET 2004 (Erick Gallesio, Manuel Serrano):
+
+	********* release 1.2b.
+	
+	
+Wed Nov 10 11:03:47 CET 2004 (Manuel Serrano):
+
+	* The image conversion process is now coherent. That is, when an
+	image does not need conversion, it is still copied into the
+	output directory.
+	
+
+Mon Nov  8 11:00:07 CET 2004 (Erick Gallesio)
+
+	* skr/web-book.skr: Added the option :margin-title to web-book
+
+	
+Thu Oct 28 21:53:34 CEST 2004 (Erick Gallesio)
+
+	* New back-end using the ConTeXt TeX macro package
+
+	
+Tue Oct 26 10:52:05 CEST 2004 (Erick Gallesio):
+
+	* Added the STklos skribebibtex. Makefile and hierearchy changed
+	accordingly.
+
+	
+Thu Oct 21 14:55:04 CEST 2004 (Ludovic Courtès):
+
+	*** Bibliography parsers use SKRIBE-READ instead of READ.
+	
+
+Mon Oct 11 15:47:08 CEST 2004 (Manuel Serrano):
+
+	*** Fix TABLE construction in src/common/api.scm.
+
+
+Fri Oct  8 22:14:06 CEST 2004 (Manuel Serrano):
+
+	*** Fix a bug in src/common/api.scm. The subsection environment
+	was erroneously represented as a shared constant instead of a
+	freshly allocated list.
+	
+
+Thu Sep 23 19:30:13 CEST 2004 (Manuel Serrano):
+
+	*** Fix the definition of the ITEM markup that was erroneously
+	doubling its :key attribute.
+
+
+Thu Sep 23 17:15:21 CEST 2004 (Erick Gallesio)
+
+	* In the documentation the installed skribe-config script was used,
+	instead of the one of the distribution. Fixed.
+
+
+Wed Sep 22 14:51:45 CEST 2004 (Damien Ciabrini):
+
+	* New latex-simple.skr Skribe style that let's LaTex handling 
+	references, links, and the enables non-breakable ~ character.
+	
+
+Wed Sep 22 14:11:36 CEST 2004 (Manuel Serrano):
+
+	*** Improve error detections.
+	
+
+Wed Sep 22 02:13:59 CEST 2004 (Manuel Serrano):
+
+	* Change the start and stop SOURCE markup. These can now be
+	integer standing for line numbers or then can be marks matched
+	against the beginning of the lines.
+	
+
+Sun Jul 11 10:38:23 CEST 2004 (Manuel Serrano):
+
+	*** Fix SKRIBE.el paragraph delimiters.
+	
+
+Wed Jul  7 06:23:49 CEST 2004 (Manuel Serrano):
+
+	*** Switch the execution order of verify and resolve. Resolve now
+	takes place *before* verify (because verify simply requires the
+	ast to be already resolved).
+	
+
+Wed Jun 23 16:56:57 CEST 2004 (Manuel Serrano):
+
+	*** etc/bigloo/configure, README.java: add JVM visibility over the 
+	environment variable SKRIBEPATH.
+	
+
+Tue Jun 22 09:47:37 CEST 2004 (Manuel Serrano):
+
+	* skr/html.skr: Add the inline-css HTML engine custom.
+	
+
+Mon May 31 18:51:09 CEST 2004 (Erick Gallesio)
+
+	*** skr/html.skr: Added the charset custom to html
+	
+
+Mon May 31 14:35:17 CEST 2004 (Manuel Serrano):
+
+	*** skr/html.skr: fix a small HTML compliance bug in the TD/TH 
+	background color emission.
+	
+
+Fri May 21 16:44:53 CEST 2004 (Yann Dirson):
+
+	*** Add DESTDIR to generated Bigloo Makefiles (in order to ease
+	the Debian package).
+	
+
+Fri May 21 16:12:48 CEST 2004 (Stéphane Epardaud):
+
+	*** src/bigloo/engine.scm: Fix a bug in ENGINE-FORMAT?
+	
+
+Fri May 21 15:54:46 CEST 2004 (Manuel Serrano):
+
+	*** skr/web-book.skr: Add subsection to navigation tocs.
+	
+
+Mon May 17 10:14:25 CEST 2004 (Manuel Serrano):
+
+	*** src/bigloo/xml.scm: Improve XML fontification.
+	
+
+Mon May 10 21:00:10 CEST 2004 (Manuel Serrano):
+
+	*** skr/html.skr: Fix an error in negative relative font size handling.
+	
+
+Thu Apr 29 05:52:53 CEST 2004 (Manuel Serrano):
+
+	*** skr/html.skr: Add JS custom.
+
+	* src/common/lib.scm: Add ENGINE-CUSTOM-ADD!.
+	
+
+Tue Apr 20 13:40:00 CEST 2004 (Manuel Serrano):
+
+	*** skr/html.skr: Add &html-figure-legend to the figure
+	writer.
+	
+
+Tue Apr 20 12:07:36 CEST 2004 (Manuel Serrano):
+
+	*** skr/base.skr: fix a bug in &bib-entry emission. The writer
+	used to display the label of the entry (&bib-entry-label) was
+	the writer of the default engine instead of the engine of the
+	dynamically active engine.
+	
+
+Tue Apr 13 10:11:33 CEST 2004 (Manuel Serrano):
+
+	*** skr/html.skr: Fix SUI mark reference generation.
+	
+
+Tue Apr  6 06:58:28 CEST 2004 (Manuel Serrano):
+
+	*** doc/user/{engine,latexe}.skb: add document about engines.
+	
+
+Thu Apr  1 14:43:47 CEST 2004 (Manuel Serrano):
+
+	*** src/bigloo/evapi.scm: export the SKRIBE-READ function into
+	the standard api.
+	
+
+Fri Mar 26 05:50:10 CET 2004 (Manuel Serrano):
+
+	*** skr/latex.skr, skr/slide.skr: fix PRE and PROG LaTeX tabcolsep.
+	
+
+Wed Mar 24 16:37:06 CET 2004 (Manuel Serrano):
+
+	*** skr/latex.skr: add the postdocument custom.
+
+	*** skr/web-article.skr: fix illegal html identifiers (add
+	calls to STRING-CANONICALIZE).
+	
+
+Mon Mar 22 15:53:37 CET 2004 (Erick Gallesio):
+
+	* Fix a bash problem in the configure driver script.
+	
+
+Tue Mar 16 09:44:49 CET 2004 (Erick Gallesio, Manuel Serrano):
+
+	********* release 1.1a.
+	
+	
+Mon Mar 15 00:00:37 CET 2004 (Erick Gallesio):
+
+	*** skr/html.skr: Changed the generated JavaScript for email
+	obfuscation to be conform to HTML 4. This is an ugly hack. 
+
+	
+Thu Mar 11 11:28:17 CET 2004 (Manfred Lotz):
+
+	*** emacs/emacs.el.in: Fix error in font lock declarations.
+
+	*** skr/latex.skr: fix inconsistency in bold face generation.
+	
+
+Wed Mar 10 06:06:48 CET 2004 (Manuel Serrano):
+
+	*** src/lib/bigloo.bgl, skr/latex.skr: fix a path bug in 
+	BUILTIN-CONVERT-IMAGE. The generated image was generated in the 
+	source directory but it should be generated in the target directory.
+	
+
+Mon Mar  8 11:40:46 CET 2004 (Manuel Serrano):
+
+	* src/common/lib.scm: add an optional filler to LIST-SPLIT.
+	
+
+Sat Mar  6 21:17:45 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr: change the generation of font markup. It now uses
+	<big> and <small> as much as possible.
+
+	*** skr/html.skr: fix mailto markup.
+	
+
+Fri Mar  5 18:45:34 CET 2004 (Manuel Serrano):
+
+	*** src/{bigloo,stklos}/{engine,types,writer}.{scm,stk} rename
+	inherit in delegate.
+
+
+Sun Feb 29 06:40:53 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/lib.bgl: change image conversion in order to avoid
+	new conversion when the target image already exists.
+
+	*** src/bigloo/writer.scm: change MARKUP-WRITER-GET. The optional
+	argument PRED may now be #unspecified which means that writers 
+	predicate are not checked during the search.
+	
+
+Sat Feb 28 10:18:16 CET 2004 (Erick Gallesio):
+
+	*** src/stklos/reader.stk (%read-bracket): Bug correction: ",("
+	sequences in strings were interpreted.
+	
+
+Thu Feb 26 20:44:50 CET 2004 (Erick Gallesio):
+
+	*** main.stk: Added the --use-variant option
+
+Thu Feb 26 16:33:49 CET 2004 (Erick Gallesio):
+
+	*** Documentation can  now be conform to HTML 4.01, if compiled 
+	using html4.skr
+
+
+Thu Feb 26 10:18:21 CET 2004 (Manuel Serrano):
+
+	* src/common/api.scm, skr/html.skr: ref markups have no default class.
+	The HTML engine generates a class which is the name of the protocol
+	of the reference (i.e., ftp, http, file, ...) for url references.
+	
+
+Wed Feb 25 06:41:51 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/engine.scm: add PUSH-DEFAULT-ENGINE and
+	POP-DEFAULT-ENGINE.
+	
+
+Wed Feb 25 01:03:22 CET 2004 (Erick Gallesio):
+
+	*** skr/html4.skr: File that must be preloaded to produce HTML
+	4.01 output
+	
+
+Mon Feb 23 10:13:57 CET 2004 (Manuel Serrano):
+
+	*** skr/latex.skr: change the output of URL-REF when a text is
+	provided.
+	
+
+Sat Feb 21 10:39:26 CET 2004 (Manuel Serrano):
+
+	* Document standard packages (letter, french, web-book, acmproc, ...).
+	
+
+Fri Feb 20 07:36:09 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr: add the lower case Nu greek symbol.
+	
+
+Thu Feb 19 18:28:43 CET 2004 (Manuel Serrano):
+
+	* doc/skr/api.skr: Improve MAKE-ENGINE? predicate in order to
+	break deeply recursive searches.
+	
+Wed Feb 19 00:48:47 CET 2004 (Erick Gallesio):
+	*** src/stklos/writer.stk: writers can be cloned with COPY-MARKUP-WRITER
+
+Wed Feb 18 22:55:20 CET 2004 (Erick Gallesio):
+
+	*** src/stklos/output.stk: added  a way to insert a validation phase
+	before outputting a markup. This should permit, for instance to
+	verify that a document is conform to certain constraints, as a DTD.
+
+Wed Feb 18 13:25:47 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/lib.bgl: change STRING-CANONICALIZE to get rid
+	of #\# characters that pose problem for both HTML and LaTeX.
+	
+
+Wed Feb 18 12:03:11 CET 2004 (Manuel Serrano):
+
+	*** skr/latex.skr: improve error detection of FONT markups.
+	
+
+Tue Feb 17 13:26:38 CET 2004 (Manuel Serrano):
+
+	*** src/common/api.scm, skr/html.skr, skr/latex.skr: fix the big 
+	mess about string used by references (string-canonicalize).
+	
+	*** src/common/api.scm, skr/html.skr, skr/latex.skr: fix bibliography
+	references. Bibliography database must be loaded prior to bibliography
+	entries are referenced. Otherwise, this causes a problem of fix
+	point iterations between citations and database printing.
+
+	
+Tue Feb 17 11:36:19 CET 2004 (Damien Ciabrini):
+
+	*** src/common/sui.scm: fix sui subsection and subsubsection
+	searches.
+	
+
+Tue Feb 17 06:42:44 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr, skr/latex.skr: add the TABLE rules 'header
+	option.
+	
+
+Mon Feb 16 15:02:19 CET 2004 (Manuel Serrano):
+
+	*** tools/skribebibtex/skribebibtex.scm: add n~ and N~ character 
+	parsing.
+	
+
+Thu Feb 12 22:26:31 CET 2004 (Manuel Serrano):
+
+	*** Get rid of the user stage.
+	
+
+Thu Feb 12 16:31:41 CET 2004 (Manuel Serrano):
+
+	*** src/common/api.scm: fix table border width handling (option
+	was ignored).
+	
+
+Thu Feb 12 16:13:48 CET 2004 (Manuel Serrano):
+
+	*** src/common/api.scm, skr/html.skr: Improve HTML4.01 compliance.
+		
+
+Thu Feb 12 10:42:30 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/lisp.scm, skr/html.skr, skr/latex.skr: add
+	&source-error markup.
+	
+
+Wed Feb 11 09:48:08 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/types.scm: The functions LANGUAGE-NAME, 
+	LANGUAGE-FONTIFIER, and LANGUAGE-EXTRACTOR are now exported and
+	visible from the standard Skribe runtime system.
+
+	*** src/common/api.scm, skr/html.skr: Change the default table 
+	attributes value for BORDER, CELLPADDING, and CELLSPACING in order
+	to get rid of warning messages when producing LaTeX documents.
+	
+
+Mon Feb  9 20:38:28 CET 2004 (Manuel Serrano):
+
+	*** skr/latex.skr: fix tt, code, pre engine that were not using 
+	the correct symbol table.
+	
+
+Mon Feb  9 09:44:59 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/lib/bgl: fix the STRING-CANONICALIZE function
+	so now it turns #\space into #\_.
+	
+
+Mon Feb  9 06:40:33 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/main.scm: the RC file (.skribe/skriberc) is now loaded
+	before the command line is parsed.
+	
+
+Sat Feb  7 08:23:38 CET 2004 (Manuel Serrano):
+
+	* configure, src/bigloo/configure.bgl, src/common/configure.scm:
+	Improve the configuration mechanism (enabling dynamic configuration
+	tests).
+	
+
+Fri Feb  6 10:10:31 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr, skr/slide.skr, skr/web-article.skr: redesign HTML 
+	header generation.
+	
+
+Wed Feb  4 14:58:25 CET 2004 (Manuel Serrano):
+
+	*** src/common/index.scm: indexes letter references are now
+	made unique.
+	
+
+Wed Feb  4 05:24:51 CET 2004 (Manuel Serrano):
+
+	*** src/common/api.scm, src/{common,bigloo}/index.scm: improve
+	error localization for indexes.
+
+	*** skr/base.skr: improve indexed generation.
+	
+
+Tue Feb  3 11:58:43 CET 2004 (Manuel Serrano):
+
+	* src/bigloo/param.scm, src/bigloo/parse-args.scm, src/bigloo/eval.scm:
+	add the -w?level command line option.
+	
+
+Tue Feb  3 05:51:41 CET 2004 (Manuel Serrano):
+
+	*** src/common/api.scm, skr/{html.skr,latex.skr}, doc/user/table.skb: 
+	Redesign of tables.
+	
+
+Mon Feb  2 09:43:28 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr: Improve HTML4.01 compliance.
+	
+	*** skr/latex.skr: Fix LaTeX symbol table.
+
+	*** src/common/api.scm: Fix color declaration in TC and TR.
+
+	
+Sun Feb  1 06:18:08 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/c.scm, src/bigloo/xml.scm: fix multi-lines 
+	fontification in C and XML mode. Older fontification was producing 
+	ill-formed LaTeX outputs.
+
+	*** src/common/api.scm: fix figure identifier.
+	
+
+Wed Jan 28 20:57:11 CET 2004 (Manuel Serrano):
+
+	* WEB-ARTICLE.SKR now supports the :css option that enables CSS
+	production and sets the CSS to be used.
+	
+
+Mon Jan 26 15:25:12 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr: various HTML4.01 conformity fixes.
+	
+
+Sun Jan 25 18:31:19 CET 2004 (Manuel Serrano):
+
+	*** skr/slide.skr: fix a error is the slide numbering.
+	
+
+Thu Jan 22 07:28:08 CET 2004 (Manuel Serrano):
+
+	*** src/common/api.scm: fix a bug in multiple bib references.
+	
+
+Sun Jan 18 11:55:56 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr: fix a bug in the HTML class attribute production. 
+
+	* src/bigloo/asm.scm: Creation of the assembly fontification (asm).
+	
+
+Sat Jan 17 18:26:00 CET 2004 (Manuel Serrano):
+
+	* src/bigloo/api.sch, skr/slide.skr: Change the definition
+	of DEFINE-MARKUP. This macro now defines a function and a macro.
+	The macro adds an extra parameters called &SKRIBE-EVAL-LOCATION
+	that can be used inside the body of the defined function to retrieve
+	the location of the call. This is extremely useful for function
+	that defines new nodes. In general, it is desired that the location
+	associated with these nodes is the user call to the function that
+	has created the node, instead of the location of the call to
+	the constructor.
+	
+
+Fri Jan 16 06:56:14 CET 2004 (Manuel Serrano):
+
+	* emacs/skribe.el.in: fontification of markups "PROG" and "SOURCE".
+
+	* skr/html.skr, skr/web-article.skr: explicit introduction of two 
+	dummy markups &HTML-DOCUMENT-HEADER and &HTML-DOCUMENT-TITLE for 
+	enabling user fine-grain customizations.
+
+	
+Thu Jan 15 17:57:01 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/eval.scm, src/bigloo/lib.bgl, src/bigloo/resolve.scm,
+	src/common/api.scm:
+	Improved location detection for unbound references (such as
+	unbound (ref :bib ...).
+	
+
+Wed Jan 14 08:03:18 CET 2004 (Manuel Serrano):
+
+	* src/common/api.scm, src/common/bib.scm, src/bigloo/bib.bgl, 
+	doc/user/bib.skb, doc/user/links.skb: change the bibliography
+	table mechanism. Bib tables are now first class citizen.
+	
+
+Tue Jan 13 16:22:30 CET 2004 (Manuel Serrano):
+
+	* src/bigloo/eval.scm, src/bigloo/parse-args.scm, src/bigloo/lib.bgl,
+	src/common/api.scm, src/bigloo/source.scm, doc/user/lib.skb: 
+	Creation of the	SKRIBE-{IMAGE,BIB,SOURCE}-PATH and
+	SKRIBE-{IMAGE,BIB,SOURCE}-PATH-SET! functions.
+
+	* src/common/api.scm, skr/html.skr, skr/latex.skr, doc/usr/image.skb: 
+	Add :URL image option.
+
+
+Tue Jan 13 09:02:18 CET 2004 (Manuel Serrano):
+
+	*** src/bigloo/eval.scm, src/bigloo/parse-args.scm, doc/user/lib.skb: 
+	Remove the SKRIBE-PATH-ADD! function. Only SKRIBE-PATH-SET! lefts.
+	
+
+Tue Jan 13 08:59:17 CET 2004 (Todd Dukes):
+
+	*** configure: Fix illegal shell exports.
+	
+
+Mon Jan 12 13:50:29 CET 2004 (Manuel Serrano):
+
+	* src/bigloo/eval.scm: Add the functions SKRIBE-PATH, SKRIBE-PATH-SET!,
+	and SKRIBE-PATH-ADD!.
+	
+
+Mon Jan 12 12:02:58 CET 2004 (Manuel Serrano):
+
+	*** skr/latex.skr: fix when color were disabled.
+	
+
+Mon Jan 12 09:17:46 CET 2004 (Manuel Serrano):
+
+	*** skr/html.skr: change the default value of css which used to
+	be '(quote ()) and which is now ().
+	
+
+Sat Jan 10 10:00:08 CET 2004 (Manuel Serrano):
+
+	* src/common/api.scm, src/bigloo/types.scm, src/bigloo/output.scm:
+	Add the PROCEDURE field to PROCESSOR nodes .
+
+	* skr/web-article.skb: Creation of this new package.
+	
+
+Fri Jan  9 15:35:03 CET 2004 (Manuel Serrano):
+
+	* The slide.skr package is now documented in the user manual.
+
+	* SKRIBE-LOAD and SKRIBE-LOAD-OPTIONS are now documented.
+	
+
+Wed Jan  7 16:37:52 CET 2004 (Manuel Serrano):
+
+	* skr/html.skr, skr/latex.skr: fix &source-type and
+	&source-bracket markups implementation.
+	
+
+Wed Jan  7 11:29:16 CET 2004 (Manuel Serrano):
+
+	* src/bigloo/color.scm: colors are lower case, the search
+	color search is lower case.
+
+	*** src/bigloo/color.scm: fix a bug in the string search.
+
+	*** skr/latex.skr: The LaTeX engines now uses the "symbol" itemize
+	option.
+	
+	*** skr/latex.skr: The LaTeX engines now uses the "key" item
+	option.
+	
+
+Wed Jan  7 06:12:53 CET 2004 (Manuel Serrano):
+
+	* Add skribe-emacs-dir in emacs/skribe.el.in.
+
+	* Add the skribe-indent-load in emacs/skribe.el.in.
+
+	* Add --emacs-dir in etc/skribe-config.
+
+	
+Sat Jan  3 06:59:15 CET 2004 (Manuel Serrano):
+
+	* etc/ChangeLog is now included in the distribution and included
+	in the Web page.
+
+	* Extensions are now uploaded on the Skribe ftp server. They are
+	also listed from the Skribe Web page.
+	
+
+Fri Jan  2 21:21:52 CET 2004 (Manuel Serrano):
+
+	* Add a chapter for skribe-config in the user documentation.
+
+	* Creation of the directory documentation that gives information
+	about the installed extensions.
+	
+
+Thu Jan  1 06:21:39 CET 2004 (Manuel Serrano):
+
+	* Implement the SUI link mechanisms.
+
+	*** Fix RESOLVE-SEARCH-PARENT whose behavior was incorrect for orphans.
+
+	* Add SKRIBE-DOC-DIR in configure.scm.in.
+	
+
+Dec 30 22:09:54 CET 2003 (Manuel Serrano):
+
+	*** Fix FIND-MARKUP-IDENT whose return type was incorrect.
+
+	* Add the :URL option to the INDEX markup.
+	
+	
+Thu Dec 18 09:12:33 CET 2003 (Erick Gallesio, Manuel Serrano):
+	
+	********* release 1.0a.
+	
+	
+Wed Dec 17 10:22:27 CET 2003 (Manuel Serrano):
+
+	* Change the processor nodes. The COMBINATOR argument is no longer
+	required to be a procedure. It can be #f.
+
+	* Export predicates such as COMMAND?, UNRESOLVED? and PROCESSOR?.
+	Export the accessors associated with these primitive types.
+	
+
+Tue Dec  9 16:44:01 CET 2003 (Manuel Serrano):
+
+	* the "q" markup now introduces a new node that is handled by the
+	engines.
+	
+
+Thu Dec  4 09:53:24 CET 2003 (Manuel Serrano):
+
+	* Bib (Bigloo) manager now detects duplicate entries.
+
+	*** Fix LaTeX engine (latex.skr). LaTeX titles (for chapters, 
+	sections, ...) where incorrects.
+	
+	*** Various fixes in skribe.el.
+
+
+Mon Nov 24 10:28:15 CET 2003 (Manuel Serrano):
+
+	* Add -c, --custom command line options.
+
+	* Re-design the SUI file generation.
diff --git a/etc/Makefile b/etc/Makefile
new file mode 100644
index 0000000..349fcf8
--- /dev/null
+++ b/etc/Makefile
@@ -0,0 +1,50 @@
+#*=====================================================================*/
+#*    serrano/prgm/project/skribe/etc/Makefile                         */
+#*    -------------------------------------------------------------    */
+#*    Author      :  Manuel Serrano                                    */
+#*    Creation    :  Sat Oct 25 08:29:30 2003                          */
+#*    Last change :  Sat Jan  3 06:40:19 2004 (serrano)                */
+#*    Copyright   :  2003-04 Manuel Serrano                            */
+#*    -------------------------------------------------------------    */
+#*    The Skribe Meta etc Makefile                                     */
+#*=====================================================================*/
+include ../etc/Makefile.config
+include ../etc/$(SYSTEM)/Makefile.skb
+
+#*---------------------------------------------------------------------*/
+#*    pop                                                              */
+#*---------------------------------------------------------------------*/
+.PHONY: pop
+
+pop:
+	@ echo etc/Makefile etc/skribe-config.in etc/ChangeLog
+	@ (cd bigloo && $(MAKE) pop)
+	@ (cd stklos && $(MAKE) pop)
+
+#*---------------------------------------------------------------------*/
+#*    Install/Uninstall                                                */
+#*---------------------------------------------------------------------*/
+.PHONY: install uninstall
+
+install: $(DESTDIR)$(INSTALL_EXTDIR)
+	cp skribe-config $(DESTDIR)$(INSTALL_BINDIR) && \
+        chmod $(BMASK) $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
+
+uninstall:
+	$(RM) -f $(DESTDIR)$(INSTALL_BINDIR)/skribe-config
+
+$(DESTDIR)$(INSTALL_EXTDIR):
+	mkdir -p $(DESTDIR)$(INSTALL_EXTDIR) && chmod a+rx $(DESTDIR)$(INSTALL_EXTDIR)
+
+
+#*---------------------------------------------------------------------*/
+#*    clean/distclean                                                  */
+#*---------------------------------------------------------------------*/
+.PHONY: clean distclean
+
+clean:
+	(cd $(SYSTEM) && $(MAKE) clean)
+
+distclean: clean
+	(cd $(SYSTEM) && $(MAKE) distclean)
+	$(RM) -f skribe-config 	config
diff --git a/etc/Makefile.config b/etc/Makefile.config
new file mode 100644
index 0000000..3ee672a
--- /dev/null
+++ b/etc/Makefile.config
@@ -0,0 +1,9 @@
+## 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 b/etc/bigloo/Makefile
new file mode 100644
index 0000000..82ffceb
--- /dev/null
+++ b/etc/bigloo/Makefile
@@ -0,0 +1,114 @@
+#*=====================================================================*/
+#*    serrano/prgm/project/skribe/etc/bigloo/Makefile                  */
+#*    -------------------------------------------------------------    */
+#*    Author      :  Manuel Serrano                                    */
+#*    Creation    :  Thu Oct 23 08:58:55 2003                          */
+#*    Last change :  Wed Nov 17 10:51:50 2004 (serrano)                */
+#*    Copyright   :  2003-04 Manuel Serrano                            */
+#*    -------------------------------------------------------------    */
+#*    The Bigloo etc Makefile                                          */
+#*=====================================================================*/
+include Makefile.skb
+include ../Makefile.config
+
+#*---------------------------------------------------------------------*/
+#*    TMPDIR                                                           */
+#*---------------------------------------------------------------------*/
+DISTRIBTMPDIR	= /tmp
+DISTRIBDIR	= $$HOME/prgm/distrib
+
+#*---------------------------------------------------------------------*/
+#*    POPULATION                                                       */
+#*---------------------------------------------------------------------*/
+POPULATION	= configure Makefile Makefile.tpl
+
+#*---------------------------------------------------------------------*/
+#*    distrib                                                          */
+#*    -------------------------------------------------------------    */
+#*    This rule must be executed in the main SKribe directory          */
+#*    (i.e. ../..). They must be run with a command such as:           */
+#*    "cd skribe; make -f etc/bigloo/Makefile distrib".                */
+#*---------------------------------------------------------------------*/
+.PHONY: distrib distrib-src distrib-jvm
+
+distrib: distrib-src # distrib-jvm
+
+#*--- distrib-src -----------------------------------------------------*/
+distrib-src:
+	@ echo ">>> distrib-src"; \
+	(skribedir=`pwd` \
+         && /bin/rm -rf $(DISTRIBTMPDIR)/skribe \
+         && mkdir -p $(DISTRIBTMPDIR)/skribe \
+         && cd $(DISTRIBTMPDIR)/skribe \
+         && $(MAKE) -f $$skribedir/Makefile -I $$skribedir checkout \
+	 && /bin/rm -rf contribs \
+         && $(MAKE) -f $$skribedir/etc/bigloo/Makefile -I $$skribedir/etc/bigloo do-distrib-src \
+         && $(RM) -rf $(DISTRIBTMPDIR)/skribe$(SKRIBERELEASE))
+
+.PHONY: do-distrib-src
+do-distrib-src:
+	(cd .. && \
+         mv skribe skribe$(SKRIBERELEASE) && \
+         tar cvfz $(DISTRIBDIR)/skribe$(SKRIBERELEASE).tar.gz skribe$(SKRIBERELEASE))
+
+#*--- distrib-jvm -----------------------------------------------------*/
+distrib-jvm:
+	@ echo ">>> distrib-jvm"; \
+	(skribedir=`pwd` \
+         && /bin/rm -rf $(DISTRIBTMPDIR)/skribe \
+         && mkdir -p $(DISTRIBTMPDIR)/skribe \
+	 && cd $(DISTRIBTMPDIR)/skribe \
+         && $(MAKE) -f $$skribedir/Makefile -I $$skribedir checkout \
+	 && /bin/rm -rf contribs \
+         && $(MAKE) -f $$skribedir/etc/bigloo/Makefile -I $$skribedir/etc/bigloo do-distrib-jvm \
+         && $(RM) -rf $(DISTRIBTMPDIR)/skribe)
+
+.PHONY: do-distrib-jvm
+do-distrib-jvm: lib bin lib/bigloo_s.zip
+	$(RM) -f $(DISTRIBDIR)/skribe$(SKRIBERELEASE).zip
+	(./configure --with-bigloo --jvm \
+         && $(MAKE) \
+         && cd .. \
+	 && zip -qr $(ZFLAGS) $(DISTRIBDIR)/skribe$(SKRIBERELEASE).zip \
+                skribe \
+                -x "*~" \
+                -x "*/bin/*-bigloo" \
+                -x "*.class" \
+                -x "*.o")
+
+#*--- bigloo_s.zip ----------------------------------------------------*/
+lib/bigloo_s.zip: lib
+	cp $(FILDIR)/bigloo_s.zip $@
+
+#*--- lib -------------------------------------------------------------*/
+lib:
+	mkdir -p lib
+
+#*--- bin -------------------------------------------------------------*/
+bin:
+	mkdir -p bin
+
+#*---------------------------------------------------------------------*/
+#*    pop                                                              */
+#*---------------------------------------------------------------------*/
+.PHONY: pop
+
+pop:
+	@ echo $(POPULATION:%=etc/bigloo/%)
+	@ (cd autoconf && $(MAKE) -s pop)
+
+#*---------------------------------------------------------------------*/
+#*    clean                                                            */
+#*---------------------------------------------------------------------*/
+.PHONY: clean distclean
+
+clean:
+	/bin/rm -f ../../lib/bigloo_s.zip
+
+#*--- distclean -------------------------------------------------------*/
+distclean:
+	/bin/rm -f Makefile.skb
+	/bin/rm -f ../../src/common/configure.scm
+
+
+
diff --git a/etc/bigloo/Makefile.skb b/etc/bigloo/Makefile.skb
new file mode 100644
index 0000000..51d6086
--- /dev/null
+++ b/etc/bigloo/Makefile.skb
@@ -0,0 +1,158 @@
+## 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
new file mode 100644
index 0000000..24326c1
--- /dev/null
+++ b/etc/bigloo/Makefile.tpl
@@ -0,0 +1,200 @@
+#*=====================================================================*/
+#*    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/Makefile b/etc/bigloo/autoconf/Makefile
new file mode 100644
index 0000000..c077107
--- /dev/null
+++ b/etc/bigloo/autoconf/Makefile
@@ -0,0 +1,53 @@
+#*=====================================================================*/
+#*    serrano/prgm/project/skribe/etc/bigloo/autoconf/Makefile         */
+#*    -------------------------------------------------------------    */
+#*    Author      :  Manuel Serrano                                    */
+#*    Creation    :  Thu Jun 19 20:48:50 1997                          */
+#*    Last change :  Sat Oct 25 08:34:37 2003 (serrano)                */
+#*    Copyright   :  1997-2003 Manuel Serrano, see LICENSE file        */
+#*    -------------------------------------------------------------    */
+#*    The global autoconf Makefile (mainly for backuping).             */
+#*=====================================================================*/
+
+#*---------------------------------------------------------------------*/
+#*    Flags                                                            */
+#*---------------------------------------------------------------------*/
+POPULATION	= Makefile bversion getbversion blibdir gmaketest \
+                  blstlen bfildir
+
+#*---------------------------------------------------------------------*/
+#*    pop ...                                                          */
+#*---------------------------------------------------------------------*/
+pop: 
+	@ echo $(POPULATION:%=etc/bigloo/autoconf/%)
+
+#*---------------------------------------------------------------------*/
+#*    clean                                                            */
+#*---------------------------------------------------------------------*/
+.PHONY: clean cleanall distclean
+
+clean:
+	@ find . \( -name '*[~%]' \
+                       -o -name '.??*[~%]' \
+                       -o -name '#*#' \
+                       -o -name '?*#' \
+                       -o -name \*core \) \
+                     -type f -exec rm {} \;   
+	@ echo "cleanup done..."
+	@ echo "-------------------------------"
+
+cleanall: clean
+distclean: cleanall
+
+#*---------------------------------------------------------------------*/
+#*    distrib                                                          */
+#*---------------------------------------------------------------------*/
+distrib: $(POPULATION)
+	@ if [ `pwd` = $$HOME/prgm/project/bglk/autoconf ]; then \
+             echo "*** ERROR:Illegal dir to make a distrib `pwd`"; \
+             exit 1; \
+          fi
+	@ $(MAKE) clean
+	@ chmod a+rx $(POPULATION)
+
+
diff --git a/etc/bigloo/autoconf/bfildir b/etc/bigloo/autoconf/bfildir
new file mode 100755
index 0000000..128d5c7
--- /dev/null
+++ b/etc/bigloo/autoconf/bfildir
@@ -0,0 +1,36 @@
+#!/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
new file mode 100755
index 0000000..603d484
--- /dev/null
+++ b/etc/bigloo/autoconf/blibdir
@@ -0,0 +1,36 @@
+#!/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
new file mode 100755
index 0000000..1f24c86
--- /dev/null
+++ b/etc/bigloo/autoconf/bversion
@@ -0,0 +1,42 @@
+#!/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
new file mode 100755
index 0000000..ff83b1c
--- /dev/null
+++ b/etc/bigloo/autoconf/getbversion
@@ -0,0 +1,36 @@
+#!/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
new file mode 100755
index 0000000..1bedd72
--- /dev/null
+++ b/etc/bigloo/autoconf/gmaketest
@@ -0,0 +1,38 @@
+#!/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
new file mode 100755
index 0000000..9215911
--- /dev/null
+++ b/etc/bigloo/configure
@@ -0,0 +1,552 @@
+#!/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
new file mode 100644
index 0000000..d9df69f
--- /dev/null
+++ b/etc/config
@@ -0,0 +1,4 @@
+# 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
new file mode 100644
index 0000000..d12312b
--- /dev/null
+++ b/etc/skribe-config
@@ -0,0 +1,64 @@
+#!/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/skribe-config.in b/etc/skribe-config.in
new file mode 100644
index 0000000..2a03e26
--- /dev/null
+++ b/etc/skribe-config.in
@@ -0,0 +1,64 @@
+#!/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 @PREFIX@
+	    ;;
+	--version|-v)
+	    echo @SKRIBE_RELEASE@
+	    ;;
+	--extension-dir|-e) 
+	    echo @SKRIBE_EXT_DIR@
+	    ;;
+	--skr-dir|-k) 
+	    echo @SKRIBE_SKR_DIR@
+	    ;;
+	--doc-dir|-d) 
+	    echo @SKRIBE_DOC_DIR@
+	    ;;
+	--emacs-dir|-m) 
+	    echo @SKRIBE_EMACS_DIR@
+	    ;;
+	--scheme|-s) 
+	    echo @SYSTEM@
+	    ;;
+	--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
new file mode 100644
index 0000000..13a60d8
--- /dev/null
+++ b/etc/stklos/Makefile.config.in
@@ -0,0 +1,5 @@
+SYSTEM=@SYSTEM@
+SKRIBE=@SKRIBE@
+SKRIBEINFO=@SKRIBEINFO@
+SKRIBEBIBTEX=@SKRIBEBIBTEX@
+
diff --git a/etc/stklos/Makefile.in b/etc/stklos/Makefile.in
new file mode 100644
index 0000000..186fd58
--- /dev/null
+++ b/etc/stklos/Makefile.in
@@ -0,0 +1,44 @@
+#
+# Makefile.in	-- Skribe Makefile for Stklos
+# 
+# Copyright © 2003 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
+# 
+# 
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2 of the License, or
+# (at your option) any later version.
+# 
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 
+# USA.
+# 
+#           Author: Erick Gallesio [eg@essi.fr]
+#    Creation date: 10-Aug-2003 17:31 (eg)
+# Last file update: 10-Nov-2003 19:48 (eg)
+#
+
+PRCS_FILES=Makefile.config.in Makefile.in Makefile.skb.in configure.in \
+configure
+
+all: configure
+
+
+configure: configure.in
+	autoconf
+
+clean:
+	/bin/rm -f config.* *~ 
+
+pop:
+	@echo $(PRCS_FILES:%=etc/stklos/%)
+
+distclean: clean
+	(cd ../../src/stklos/; $(MAKE) distclean)
+	/bin/rm -f Makefile Makefile.skb ../Makefile.config
diff --git a/etc/stklos/Makefile.skb.in b/etc/stklos/Makefile.skb.in
new file mode 100644
index 0000000..7568474
--- /dev/null
+++ b/etc/stklos/Makefile.skb.in
@@ -0,0 +1,5 @@
+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
new file mode 100755
index 0000000..e1d2526
--- /dev/null
+++ b/etc/stklos/configure
@@ -0,0 +1,830 @@
+#! /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
new file mode 100644
index 0000000..956af77
--- /dev/null
+++ b/etc/stklos/configure.in
@@ -0,0 +1,57 @@
+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 ..
+