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 | |
| parent | 56373a1752582edbd0cb9881cf843d9f87cfcf56 (diff) | |
* Makefile: add .info suffix.
Bug submitted by Alex Vong <alexvong1995@gmail.com>.
| -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; \ |