Package: gnat-gps / 5.0-13

documentation-formats-many-jobs.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Thanks to Pierre-Louis Bonicoli <pierre-louis.bonicoli@gmx.fr>
for reporting and patching #599489.

Index: b/docs/Makefile.in
===================================================================
--- a/docs/Makefile.in
+++ b/docs/Makefile.in
@@ -52,7 +52,7 @@
 	@sed -e 's,</head>,<base target="page"/></head>,' -e 's,text-align: justify,,' gps/index.html > gps/index.html.tmp
 	@mv gps/index.html.tmp gps/index.html
 
-%.pdf: %.texi
+%.pdf: %.texi stamp-pdf
 	echo x | ${TEXI2DVI} -p $<
 
 %.txt: %.texi