From bec63d3ea62dafc4158c35abdf7e9180419a3f78 Mon Sep 17 00:00:00 2001 From: Yoni Rabkin Date: Sat, 9 Jul 2016 12:33:04 -0400 Subject: * Makefile: add .info suffix. Bug submitted by Alex Vong . --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 32b6a7f..4112078 100644 --- a/Makefile +++ b/Makefile @@ -42,7 +42,7 @@ install: test -d $(INFODIR) || install -d $(INFODIR) install -m 644 $(ALLSOURCE) $(SITELISP) install -m 644 $(ALLCOMPILED) $(SITELISP) - install -m 0644 $(DOCDIR)emms.info $(INFODIR)/emms + install -m 0644 $(DOCDIR)emms.info $(INFODIR)/emms.info for p in $(MAN1PAGES) ; do $(GZIP) -9c $$p > $(MAN1DIR)/$$p.gz ; done if [ -x /usr/bin/ginstall-info ]; then \ $(GINSTALLINFO) $(DOCDIR)emms.info; \ -- cgit v1.2.3