X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=31141e854436b530f5e6586904a23e0c33c856b4;hb=d1baacabfbff9bfc0178b2dd2ac82c245ba831cf;hp=3571cc4960b116f22a75dca1fc975b618036ae74;hpb=60aae33831d7c1aefc40d4fdc73702361222f5f6;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index 3571cc4960..31141e8544 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; \
@@ -299,9 +300,9 @@ doc-make: doc/doc-make.in Makefile
 
 # Install all the PNG files so that info readers can recognise them
 install-info-local:
-	$(MKDIR_P) $(DESTDIR)$(prefix)/share/info/
+	$(MKDIR_P) $(DESTDIR)$(prefix)/share/info/screenshots
 	for p in $(INFO_SCREENSHOTS); do \
-		$(INSTALL_DATA) $$p $(DESTDIR)$(prefix)/share/info/ ;\
+		$(INSTALL_DATA) $$p $(DESTDIR)$(prefix)/share/info/screenshots ;\
 	done
 
 uninstall-local: