add extrat texinfo stuff from Debian patches.