diff options
Diffstat (limited to 'src/common/configure.scm')
| -rw-r--r-- | src/common/configure.scm | 8 |
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") + |