+ // Read the encodings table.
+ FileName const symbols_path = libFileSearch(string(), "unicodesymbols");
+ if (symbols_path.empty()) {
+ cerr << "Error: Could not find file \"unicodesymbols\"."
+ << endl;
+ exit(1);
+ }
+ FileName const enc_path = libFileSearch(string(), "encodings");
+ if (enc_path.empty()) {
+ cerr << "Error: Could not find file \"encodings\"."
+ << endl;
+ exit(1);
+ }
+ encodings.read(enc_path, symbols_path);
+ if (!default_encoding.empty() && !encodings.fromLaTeXName(default_encoding))
+ error_message("Unknown LaTeX encoding `" + default_encoding + "'");
+
+ // The real work now.