From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 13 Dec 2020 09:34:21 +0000 (+0100)
Subject: doc/automake.mk (html-local): Add dependency on the directory doc/pspp.html
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0bce9e5f65956385a8a068540db983edeee112c;p=pspp

doc/automake.mk (html-local): Add dependency on the directory doc/pspp.html

Fixes bug #59577 (hopefully).
---

diff --git a/doc/automake.mk b/doc/automake.mk
index 3571cc4960..0871be4289 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -227,7 +227,8 @@ $(FIGURE_TXTS) $(FIGURE_HTMLS): $(pspp_output)
 AM_MAKEINFOHTMLFLAGS = $(AM_MAKEINFOFLAGS) --css-ref=pspp-manual.css
 # Adjust the path for screenshot images.
 # But make sure these operations are idempotent.
-html-local:
+html-local: doc/pspp.html
+	test -d doc/pspp.html
 	for h in doc/pspp.html/*.html; do \
 		if grep -Fq '<img src="screenshots/' $$h; then continue; fi ; \
 		$(SED) -i -e 's|<img src="\([^"]*\)"|<img src="screenshots/\1"|' $$h; \