From ec733715c11f362c08bb5f33ef7397ebbc9e3d23 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 8 Jun 2018 13:37:49 +0100 Subject: [PATCH] Fixed base name of ontology styles. --- document-generator/Tools/DOF_mkroot | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document-generator/Tools/DOF_mkroot b/document-generator/Tools/DOF_mkroot index 2791fed7..4cbd7836 100755 --- a/document-generator/Tools/DOF_mkroot +++ b/document-generator/Tools/DOF_mkroot @@ -143,7 +143,7 @@ if [ "$DOC" = true ]; then cp "$ISABELLE_HOME_USER/DOF/document-template/preamble.tex" "$DIR"/document/ cp "$ISABELLE_HOME_USER/DOF/document-template/ontologies.tex" "$DIR"/document/ for o in $ONTOLOGY; do - echo "\usepackage{$o}" >> "$DIR"/document/ontologies.tex; + echo "\usepackage{DOF-$o}" >> "$DIR"/document/ontologies.tex; done sed -e "s//$AUTHOR/" -e "s//$TITLE/" "$ISABELLE_HOME_USER/DOF/document-template/root-$TEMPLATE.tex" > "$DIR"/document/root.tex else