texinfo-for-Debian.patch
