texinfo-index-before-pdf.diff
