gettext

57d4a340 - In TeX mode, the table of contents must be at the end...