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

Bug fix: document variants.
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Achim D. Brucker 2023-03-29 22:21:44 +01:00
parent 320614004e
commit 698e6ab169
2 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-Unit-Tests/ROOT
View File

@ -1,5 +1,5 @@
session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" + session "Isabelle_DOF-Unit-Tests" = "Isabelle_DOF-Ontologies" +
options [document = pdf, document_output = "output", document_build = dof] options [document = pdf, document_output = "output", document_build = dof, document_variants = "document:overview=-proof,-ML,-unimportant"]
theories theories
"TestKit" "TestKit"
"Latex_Tests" "Latex_Tests"

11
Isabelle_DOF/scala/dof_document_build.scala
View File

@ -97,6 +97,17 @@ object DOF_Document_Build
\newcommand{\isadofgenericdoi}{""" + DOF.generic_doi + """} \newcommand{\isadofgenericdoi}{""" + DOF.generic_doi + """}
\newcommand{\isabellelatestversion}{""" + DOF.latest_isabelle + """} \newcommand{\isabellelatestversion}{""" + DOF.latest_isabelle + """}
""") """)
val texinputs: Path = Path.explode("~~/lib/texinputs")
val comment_latex = options.bool("document_comment_latex")
if (!comment_latex) {
Isabelle_System.copy_file(texinputs + Path.basic("comment.sty"), directory.doc_dir)
}
doc.tags.sty(comment_latex).write(directory.doc_dir)
directory directory
} }
} }