pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Bug fix: path of jar file.

This commit is contained in:
Achim D. Brucker 2018-03-05 23:32:26 +00:00
parent a5a1219ea7
commit 57cc050304
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
document-generator/document-template/build
View File

@ -32,7 +32,7 @@ NAME=${2:-root}
ROOT_NAME="root_$NAME"
[ ! -f "$DIR/$ROOT_NAME.tex" ] && ROOT_NAME="root"
$ISABELLE_TOOL scala $ISABELLE_HOME_USER/DOF/bin/dof_latex_converter.jar .
$ISABELLE_TOOL scala $ISABELLE_HOME_USER/DOF/lib/dof_latex_converter.jar .
cp $ISABELLE_HOME_USER/DOF/latex/DOF.sty .