Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Bug fix: default ontology was always included, if if not needed or even conflicting.

This commit is contained in:
Achim D. Brucker 2020-01-07 16:59:17 +00:00
parent 727b53edb6
commit 97db02c61d
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Tools/mkroot_DOF
View File

@ -77,7 +77,7 @@ DEFAULT_TEMPLATE="scrartcl"
DEFAULT_ONTOLOGY="scholarly_paper"
TEMPLATE="$DEFAULT_TEMPLATE"
ONTOLOGY="$DEFAULT_ONTOLOGY"
ONTOLOGY=""
while getopts "t:o:n:dh" OPT
do
@ -112,6 +112,7 @@ done
shift $(($OPTIND - 1))
ONTOLOGY="${ONTOLOGY:-$DEFAULT_ONTOLOGY}"
# args