From b91364740e138d988d98ee6967941a66b493bea8 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <puck@birchwood-abbey.net>
Date: Sun, 12 Jun 2016 13:45:51 -0700
Subject: [PATCH] doc/Makefile.in: Change project name; use PACKAGE_NAME.

---
 doc/Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index fe79e3b3e..1df12d990 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -64,6 +64,7 @@ htmldir = @htmldir@
 pdfdir = @pdfdir@
 psdir = @psdir@
 INST_TARGETS = @INST_TARGETS@
+PACKAGE_NAME = @PACKAGE_NAME@
 
 SUBDIRS = ffi ref-manual sos user-manual
 DISTCLEAN_FILES = Makefile make-common config.log config.status
@@ -116,7 +117,7 @@ install-info-gz install-info:
 
 install-man:
 	$(mkinstalldirs) $(DESTDIR)$(mandir)/man1
-	$(INSTALL_DATA) mit-scheme-pucked.1 $(DESTDIR)$(mandir)/man1/.
+	$(INSTALL_DATA) ${PACKAGE_NAME}.1 $(DESTDIR)$(mandir)/man1/.
 
 install-html:
 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
-- 
2.25.1