diff options
author | Yoni Rabkin <yrk@gnu.org> | 2016-07-09 12:33:04 -0400 |
---|---|---|
committer | Yoni Rabkin <yrk@gnu.org> | 2016-07-09 12:33:04 -0400 |
commit | bec63d3ea62dafc4158c35abdf7e9180419a3f78 (patch) | |
tree | 2207af4d3cb90499dec2c3123174134f471276d3 /Makefile | |
parent | 56373a1752582edbd0cb9881cf843d9f87cfcf56 (diff) |
* Makefile: add .info suffix.
Bug submitted by Alex Vong <alexvong1995@gmail.com>.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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; \ |