--- a/etc/options Mon Nov 08 13:51:24 2021 +0100
+++ b/etc/options Mon Nov 08 16:48:42 2021 +0100
@@ -17,8 +17,6 @@
-- "default command tags (separated by commas)"
option document_bibliography : bool = false
-- "explicitly enable use of bibtex (default: according to presence of root.bib)"
-option document_preprocessor : string = ""
- -- "document preprocessor: executable relative to document output directory"
option document_build : string = "lualatex"
-- "document build engine (e.g. lualatex, pdflatex, build)"
option document_logo : string = ""