| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| texinfo-index-before-pdf.diff | ensure that Makefile builds texinfo index entries before PDF The arm-texi-index.el script rewrites the texinfo source, so it must be executed before any target reading it, not only texi2any --info. |
Nicolas Boulenguez <nicolas@debian.org> | invalid | debian |