+ else if (name == "esint") {
+ h_use_esint = "2";
+ p.skip_spaces();
+ }
+
+ else if (name == "babel" && !opts.empty()) {
+ // check if more than one option was used - used later for inputenc
+ // in case inputenc is parsed before babel, set the encoding to auto
+ if (options.begin() != options.end() - 1) {
+ one_language = false;
+ h_inputencoding = "auto";
+ }
+ // only set the document language when there was not already one set
+ // via the documentclass options
+ // babel takes the the last language given in the documentclass options
+ // as document language. If there is no such language option, the last
+ // option of its \usepackage call is used.
+ if (documentclass_language == false) {
+ handle_opt(options, known_languages, h_language);
+ delete_opt(options, known_languages);
+ if (is_known(h_language, known_french_languages))
+ h_language = "french";
+ else if (is_known(h_language, known_german_languages))
+ h_language = "german";
+ else if (is_known(h_language, known_ngerman_languages))
+ h_language = "ngerman";
+ else if (is_known(h_language, known_russian_languages))
+ h_language = "russian";
+ else if (is_known(h_language, known_ukrainian_languages))
+ h_language = "ukrainian";
+ h_quotes_language = h_language;
+ }
+ p.skip_spaces();
+ }