From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 20 Dec 2020 23:02:37 +0000 (-0800)
Subject: doc: Use $(infodir) for Info, not $(prefix)/share/info.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=505e28b51a7a34250f8ba1c61b1f90c4fd5a69b9;p=pspp

doc: Use $(infodir) for Info, not $(prefix)/share/info.
---

diff --git a/doc/automake.mk b/doc/automake.mk
index bbe97930e2..e30c32054a 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -300,15 +300,15 @@ 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/screenshots
+	$(MKDIR_P) $(DESTDIR)$(infodir)/screenshots
 	for p in $(INFO_SCREENSHOTS); do \
-		$(INSTALL_DATA) $$p $(DESTDIR)$(prefix)/share/info/screenshots ;\
+		$(INSTALL_DATA) $$p $(DESTDIR)$(infodir)/screenshots ;\
 	done
 
 uninstall-local:
 	for p in $(INFO_SCREENSHOTS); do \
 		f=`basename $$p ` ; \
-		$(RM) $(DESTDIR)$(prefix)/share/info/screenshots/$$f ; \
+		$(RM) $(DESTDIR)$(infodir)/screenshots/$$f ; \
 	done
 
 EXTRA_DIST+= $(SCREENSHOTS) doc/doc-make.in doc/screengrab