diff --git a/lib/LaTeXML/Engine/TeX.pool.ltxml b/lib/LaTeXML/Engine/TeX.pool.ltxml index 6a005d991..696139ccf 100644 --- a/lib/LaTeXML/Engine/TeX.pool.ltxml +++ b/lib/LaTeXML/Engine/TeX.pool.ltxml @@ -50,7 +50,7 @@ LoadPool('TeX_Tables'); LoadPool('eTeX'); # unless.... ? LoadPool('pdfTeX'); # unless.... ? -LoadPool('Deprecated'); +LoadPool('Base_Deprecated'); ##if ($LaTeXML::DEBUG{compiled}) { ## loadDump('plain.tex'); } diff --git a/lib/LaTeXML/Engine/Marks.pool.ltxml b/lib/LaTeXML/Engine/TeX_Marks.pool.ltxml similarity index 96% rename from lib/LaTeXML/Engine/Marks.pool.ltxml rename to lib/LaTeXML/Engine/TeX_Marks.pool.ltxml index c280d5ef1..978221d83 100644 --- a/lib/LaTeXML/Engine/Marks.pool.ltxml +++ b/lib/LaTeXML/Engine/TeX_Marks.pool.ltxml @@ -1,6 +1,6 @@ # -*- mode: Perl -*- # /=====================================================================\ # -# | Marks | # +# | TeX_Marks | # # | Core TeX Implementation for LaTeXML | # # |=====================================================================| # # | Part of LaTeXML: | #