diff options
| author | Ludovic Court`es | 2005-06-15 13:00:39 +0000 |
|---|---|---|
| committer | Ludovic Court`es | 2005-06-15 13:00:39 +0000 |
| commit | fc42fe56a57eace2dbdb31574c2e161f0eacf839 (patch) | |
| tree | 18111570156cb0e3df0d81c8d104517a2263fd2c /skribe/README.java | |
| download | skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.tar.gz skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.tar.lz skribilo-fc42fe56a57eace2dbdb31574c2e161f0eacf839.zip | |
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
Diffstat (limited to 'skribe/README.java')
| -rw-r--r-- | skribe/README.java | 36 |
1 files changed, 36 insertions, 0 deletions
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 |