Skip to content

Commit

Permalink
Bug fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
jesper-friis committed Feb 13, 2024
1 parent 138b075 commit cb74ef5
Showing 1 changed file with 10 additions and 10 deletions.
20 changes: 10 additions & 10 deletions .github/scripts/makeversions.sh
Original file line number Diff line number Diff line change
Expand Up @@ -98,15 +98,15 @@ while read version name; do
fi

# Generate renamed ontology
if $remake || [ ! -f "$d/emmo-renamed.owl" ]; then
echo "Generate renamed ontology"
ontoconvert "$d/emmo-inferred.ttl" "$d/emmo-renamed.owl" \
-w -R -b http://emmo.info/emmo-renamed || true
fi
if $remake || [ ! -f "$d/emmo-renamed.ttl" ]; then
ontoconvert "$d/emmo-inferred.ttl" "$d/emmo-renamed.ttl" \
-w -R -b http://emmo.info/emmo-renamed || true
fi
#if $remake || [ ! -f "$d/emmo-renamed.owl" ]; then
# echo "Generate renamed ontology"
# ontoconvert "$d/emmo-inferred.ttl" "$d/emmo-renamed.owl" \
# -w -R -b http://emmo.info/emmo-renamed || true
#fi
#if $remake || [ ! -f "$d/emmo-renamed.ttl" ]; then
# ontoconvert "$d/emmo-inferred.ttl" "$d/emmo-renamed.ttl" \
# -w -R -b http://emmo.info/emmo-renamed || true
#fi

# Generate documentation
if $remake || [ ! -f "$d/emmo.html" ]; then
Expand All @@ -118,7 +118,7 @@ while read version name; do
# Create stable versions
cd "$pagesdir"
if [ "$name" = "stable" ]; then
cp $d/*.ttl *.owl .
cp $d/*.ttl $d/*.owl .
fi

done < "$ghdir/versions.txt"
Expand Down

0 comments on commit cb74ef5

Please sign in to comment.