]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/cadet
This commit was manufactured by cvs2svn to create branch 'cgi'.
[helm.git] / helm / xsltd / cadet
diff --git a/helm/xsltd/cadet b/helm/xsltd/cadet
deleted file mode 100755 (executable)
index 6206c54..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
-#! /bin/sh
-
-export PATH=~/HELM/installation/jdk118/bin:$PATH
-
-#export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_1/xalan.jar:/home/cadet/sacerdot/xalan-j_1_1/xerces.jar:.
-export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/xalan-j_1_2/xerces.jar:.
-#export CLASSPATH=~/HELM/installation/xalan-j_1_2_1/xalan.jar:~/HELM/installation/xalan-j_1_2_1/xerces.jar:.
-#export CLASSPATH=/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xalan.jar:/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xerces.jar:.
-
-export HELM_STYLES_DIR=../V6.2/examples/style
-#export HELM_STYLES_DIR=../V7/examples/style