summaryrefslogtreecommitdiff
path: root/src/common/configure.scm
diff options
context:
space:
mode:
Diffstat (limited to 'src/common/configure.scm')
-rw-r--r--src/common/configure.scm8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/common/configure.scm b/src/common/configure.scm
new file mode 100644
index 0000000..90e2339
--- /dev/null
+++ b/src/common/configure.scm
@@ -0,0 +1,8 @@
+;; Automatically generated file (don't edit)
+(define (skribe-release) "1.2d")
+(define (skribe-url) "http://www.inria.fr/mimosa/fp/Skribe")
+(define (skribe-doc-dir) "/usr/local/doc/skribe-1.2d")
+(define (skribe-ext-dir) "/usr/local/share/skribe/extensions")
+(define (skribe-default-path) '("." "/usr/local/share/skribe/extensions" "/usr/local/share/skribe/1.2d/skr" ))
+(define (skribe-scheme) "bigloo")
+