+ /// Do we have to use a GUI?
+ bool use_gui;
+ ///
+ string linuxdoc_to_lyx_command;
+ ///
+ string linuxdoc_to_html_command;
+ ///
+ string linuxdoc_to_latex_command;
+ ///
+ string docbook_to_dvi_command;
+ ///
+ string docbook_to_html_command;
+ ///
+ string docbook_to_pdf_command;
+ ///
+ typedef std::map<string, int> Bindings;
+ ///
+ Bindings bindings;