Fix the building of user-manual.texi and gitman.texi documents