http://crosbug.com/24481
https://savannah.gnu.org/bugs/index.php?35146

From 324a699b3903bd7d9d248bc229ab8518fc47cbed Mon Sep 17 00:00:00 2001
From: Mike Frysinger <vapier@gentoo.org>
Date: Wed, 21 Dec 2011 14:15:50 -0500
Subject: [PATCH] pdfmark: fix parallel build race failure

Sometimes building in parallel will fail in the pdfmark directory:
	make[2]: Entering directory '.../contrib/pdfmark'
	rm -f pdfroff
	rm -f pdfmark.pdf
	sed -f ... ./pdfroff.sh >pdfroff
	...; ./pdfroff ... pdfmark.ms >pdfmark.pdf
	/bin/sh: ./pdfroff: Permission denied
	chmod +x pdfroff
	make[2]: *** [pdfmark.pdf] Error 126

This is because the generated pdf files use the local generated pdfroff
helper script, but they don't depend directly upon it, so make tries to
create the two in parallel and randomly falls over.

Have all the .pdf files explicitly depend on the pdfroff helper script.

Signed-off-by: Mike Frysinger <vapier@gentoo.org>
---
 contrib/pdfmark/Makefile.sub |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/contrib/pdfmark/Makefile.sub b/contrib/pdfmark/Makefile.sub
index 9eb2763..36c9e0f 100644
--- a/contrib/pdfmark/Makefile.sub
+++ b/contrib/pdfmark/Makefile.sub
@@ -66,6 +66,9 @@ PDFROFF=\
 
 all: pdfroff $(make_pdfdoc)
 
+# The pdf files use the local script to generate.
+$(PDFDOCFILES): pdfroff
+
 pdfdoc: gnu.eps $(PDFDOCFILES)
 
 gnu.eps:
-- 
1.7.6.1