Bug fix: -o option not working (reporting an error claiming that ontologies could not be found).

2022-04-04 16:04:10 +01:00 · 2022-04-04 16:04:10 +01:00 · 0f5e5bf6f6
parent 5c886d49b4
commit 0f5e5bf6f6
1 changed files with 1 additions and 1 deletions
--- a/src/Tools/mkroot_DOF
+++ b/src/Tools/mkroot_DOF
@ -90,7 +90,7 @@ do
      NAME="$OPTARG"
      ;;
    o)
-      if [ ! -f "$ISABELLE_DOF_HOME/src/ontologies/*//DOF-$OPTARG.sty" ]; then
+      if [ ! -f "$ISABELLE_DOF_HOME/src/ontologies"/*/DOF-$OPTARG.sty ]; then
          echo "ERROR: Ontology $OPTARG not available!"
          exit 1
      fi