h_quotes_language = h_language;
}
}
-
else if (name == "fontenc")
; // ignore this
else
h_inputencoding = opts;
options.clear();
-
- } else if (name == "makeidx")
+ }
+ else if (name == "makeidx")
; // ignore this
else if (name == "verbatim")
else if (name == "graphicx")
; // ignore this
+
+ else if (name == "setspace")
+ ; // ignore this
+
else if (is_known(name, known_languages)) {
if (is_known(name, known_french_languages))
h_language = "french";
else
h_language = name;
h_quotes_language = h_language;
-
- } else if (name == "natbib") {
+ }
+ else if (name == "natbib") {
h_cite_engine = "natbib_authoryear";
vector<string>::iterator it =
find(options.begin(), options.end(), "authoryear");
options.erase(it);
}
}
- } else if (name == "jurabib") {
+ }
+ else if (name == "jurabib")
h_cite_engine = "jurabib";
- } else if (options.empty())
+ else if (options.empty())
h_preamble << "\\usepackage{" << name << "}\n";
else {
h_preamble << "\\usepackage[" << opts << "]{" << name << "}\n";
options.clear();
}
-
// We need to do something with the options...
if (!options.empty())
cerr << "Ignoring options '" << join(options, ",")
else if (t.cs() == "setlength") {
string const name = p.verbatim_item();
string const content = p.verbatim_item();
- // Is this correct?
- if (name == "parskip")
- h_paragraph_separation = "skip";
- else if (name == "parindent")
- h_paragraph_separation = "skip";
- else
+ // the paragraphs are only not indented when \parindent is set to zero
+ if (name == "\\parindent" && content != "") {
+ if (content[0] == '0')
+ h_paragraph_separation = "skip";
+ } else if (name == "\\parskip") {
+ if (content == "\\smallskipamount")
+ h_defskip = "smallskip";
+ else if (content == "\\medskipamount")
+ h_defskip = "medskip";
+ else if (content == "\\bigskipamount")
+ h_defskip = "bigskip";
+ else
+ h_defskip = content;
+ } else
h_preamble << "\\setlength{" << name << "}{" << content << "}";
}
+ else if (t.cs() =="onehalfspacing")
+ h_spacing = "onehalf";
+
+ else if (t.cs() =="doublespacing")
+ h_spacing = "double";
+
+ else if (t.cs() =="setstretch")
+ h_spacing = "other " + p.verbatim_item();
+
else if (t.cs() == "begin") {
string const name = p.getArg('{', '}');
if (name == "document")