gettext

d711425b - build: Simplify man and HTML documentation generation

build: Simplify man and HTML documentation generation Problem reported by Santiago Vila in: <https://lists.gnu.org/archive/html/bug-gettext/2014-05/msg00024.html>.