const char * const known_swedish_quotes_languages[] = {"finnish",
"swedish", 0};
+/// known language packages from the times before babel
+const char * const known_old_language_packages[] = {"french", "frenchle",
+"frenchpro", "german", "ngerman", "pmfrench", 0};
+
char const * const known_fontsizes[] = { "10pt", "11pt", "12pt", 0 };
const char * const known_roman_fonts[] = { "ae", "bookman", "ccfonts",
string h_use_default_options = "false";
string h_options;
string h_language = "english";
-string h_language_package = "default";
+string h_language_package = "none";
string h_fontencoding = "default";
string h_font_roman = "default";
string h_font_sans = "default";
h_use_undertilde = "2";
else if (name == "babel") {
+ h_language_package = "default";
// we have to do nothing if babel is loaded without any options, otherwise
// we would pollute the preamble with this call in every roundtrip
if (!opts.empty()) {
options.clear();
}
+ else if (is_known(name, known_old_language_packages)) {
+ // known language packages from the times before babel
+ // if they are found and not also babel, they will be used as
+ // cutom language package
+ h_language_package = "\\usepackage{" + name + "}";
+ }
+
else if (name == "makeidx")
; // ignore this