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
|