Use Isabelle_DOF as base session.

2019-01-08 15:25:21 +00:00 · 2019-01-08 15:25:21 +00:00 · f0c5a936bb
parent db866bc241
commit f0c5a936bb
1 changed files with 1 additions and 0 deletions
--- a/document-generator/Tools/DOF_mkroot
+++ b/document-generator/Tools/DOF_mkroot
@ -137,6 +137,7 @@ if [ "$DOC" = true ]; then
  echo "    \"preamble.tex\"" >> "$DIR"/ROOT
  echo "    \"build\"" >> "$DIR"/ROOT
  sed -i -e "s/root.tex/isadof.cfg/" "$DIR"/ROOT
+  sed -i -e "s/HOL/Isabelle_DOF/" "$DIR"/ROOT
  rm -f "$DIR"/document/root.tex
  
  # Creating isadof.cfg