Debian Patches

Status for ada-reference-manual/1:2020.1commit85143dcb-4

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 <> invalid debian

All known versions for source package 'ada-reference-manual'