etc/options
changeset 73743 813a08dff3fd
parent 73735 26cd26aaf108
child 73777 52e43a93d51f
equal deleted inserted replaced
73742:c31510e70e95 73743:813a08dff3fd
    11   -- "document output directory"
    11   -- "document output directory"
    12 option document_variants : string = "document"
    12 option document_variants : string = "document"
    13   -- "alternative document variants (separated by colons)"
    13   -- "alternative document variants (separated by colons)"
    14 option document_tags : string = ""
    14 option document_tags : string = ""
    15   -- "default command tags (separated by commas)"
    15   -- "default command tags (separated by commas)"
       
    16 option document_bibliography : bool = false
       
    17   -- "explicitly enable use of bibtex (default: according to presence of root.bib)"
    16 option document_preprocessor : string = ""
    18 option document_preprocessor : string = ""
    17   -- "document preprocessor: executable relative to document output directory"
    19   -- "document preprocessor: executable relative to document output directory"
    18 option document_build : string = "lualatex"
    20 option document_build : string = "lualatex"
    19   -- "document build engine (e.g. lualatex, pdflatex, build)"
    21   -- "document build engine (e.g. lualatex, pdflatex, build)"
    20 option document_logo : string = ""
    22 option document_logo : string = ""