texinfo-disable-man.patch 2.73 KB