Re: [PATCH 1/2] Fix the building of user-manual.texi and gitman.texi documents

I do not build nor use info myself these days, so I'll apply the patches
but when somebody else screams I'll let you and that somebody else work on
improvements.

Thanks.