Package: ada-reference-manual

Package: ada-reference-manual / 1:2020.1commit85143dcb-4

Metadata

Package	Version	Patches format
ada-reference-manual	1:2020.1commit85143dcb-4	3.0 (quilt)

Patch series

view the series file

Patch	File delta	Description
texinfo index before pdf.diff \| (download)	build/Makefile \| 12 3 + 9 - 0 ! 1 file changed, 3 insertions(+), 9 deletions(-)	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. Bug-Debian: https://bugs.debian.org/1013600

Patch

File delta

Description

texinfo index before pdf.diff | (download)

build/Makefile | 12 3 + 9 - 0 !
1 file changed, 3 insertions(+), 9 deletions(-)

 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.
Bug-Debian: https://bugs.debian.org/1013600