usermanual: some build system fixes for translated manuals