For gettext and makeinfo