From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 20 Dec 2020 14:10:27 +0000 (+0100)
Subject: Fix make distcheck
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=75d8c899e46059ae2d10f4fbef9e2ce0584aaf57

Fix make distcheck
---

diff --git a/doc/automake.mk b/doc/automake.mk
index 31141e8544..bbe97930e2 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -308,7 +308,7 @@ install-info-local:
 uninstall-local:
 	for p in $(INFO_SCREENSHOTS); do \
 		f=`basename $$p ` ; \
-		$(RM) $(DESTDIR)$(prefix)/share/info/$$f ; \
+		$(RM) $(DESTDIR)$(prefix)/share/info/screenshots/$$f ; \
 	done
 
 EXTRA_DIST+= $(SCREENSHOTS) doc/doc-make.in doc/screengrab