doc/Makefile.in: Change project name; use PACKAGE_NAME.

diff --git a/doc/Makefile.in b/doc/Makefile.in
index fe79e3b3e7470f69781968267c594bf8cfdfe02a..1df12d990e3ddd278930b1e09fc6d3ac56d7bad9 100644 (file)
--- 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)