/// returns \c true if the buffer contains a LaTeX document
bool isLatex() const;
- /// returns \c true if the buffer contains a DocBook document
- bool isDocBook() const;
/// returns \c true if the buffer contains a Wed document
bool isLiterate() const;
void clearIncludedChildren() { included_children_.clear(); }
/// update aux files of unincluded children (with \includeonly)
- bool maintain_unincluded_children;
+ enum ChildrenMaintenance {
+ CM_None,
+ CM_Mostly,
+ CM_Strict
+ };
+ ChildrenMaintenance maintain_unincluded_children;
/// returns the main font for the buffer (document)
Font const getFont() const;
std::string html_latex_end;
///
bool html_css_as_file;
+
+ // do not change these values. we rely upon them.
+ enum TableOutput {
+ HTMLTable = 0,
+ CALSTable = 1
+ };
+ /// what format to use for table output in DocBook. present choices are above
+ TableOutput docbook_table_output;
+
/// allow the LaTeX backend to run external programs
bool shell_escape;
/// generate output usable for reverse/forward search