From fc42fe56a57eace2dbdb31574c2e161f0eacf839 Mon Sep 17 00:00:00 2001
From: Ludovic Court`es
Date: Wed, 15 Jun 2005 13:00:39 +0000
Subject: 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
---
 skribe/README.java | 36 ++++++++++++++++++++++++++++++++++++
 1 file changed, 36 insertions(+)
 create mode 100644 skribe/README.java

(limited to 'skribe/README.java')

diff --git a/skribe/README.java b/skribe/README.java
new file mode 100644
index 0000000..dcb0457
--- /dev/null
+++ b/skribe/README.java
@@ -0,0 +1,36 @@
+This README explains how to use the pre-compiled JVM
+version of Skribe. This requires JDK 1.3 or higher.
+
+Installing SKRIBE
+*****************
+
+The pre-compiled version of SKRIBE does not need installation procedure.
+It is pre-installed. The documentation is pre-compiled. It is located
+in the directory doc/html.
+
+
+Running SKRIBE
+**************
+
+Lets assume that SKRIBEDIR is the shell variable containing
+the name of the directory where Skribe has been unzipped:
+
+1. To compile a Skribe program "prog.skr" uses:
+
+   java -classpath $SKRIBEDIR/bin/skribe.zip:$SKRIBEDIR/lib/bigloo_s.zip -Dbigloo.SKRIBEPATH=$SKRIBEDIR/skr bigloo.skribe.main prog.skr
+
+2. To convert a Texi file "prog.texi" into Skribe:
+
+   java -classpath $SKRIBEDIR/bin/skribeinfo.zip:$SKRIBEDIR/lib/bigloo_s.zip bigloo.skribe.skribeinfo.main prog.texi
+
+3. To convert a BibTex database "db.bib" into Skribe:
+
+   java -classpath $SKRIBEDIR/bin/skribebibtex.zip:$SKRIBEDIR/lib/bigloo_s.zip bigloo.skribe.skribebibtex.main db.bib
+
+
+Compiling the examples
+**********************
+
+On a Unix platform:
+
+   cd examples; make
-- 
cgit v1.2.3