diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2017-02-16 15:12:32 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-02-16 15:12:32 +0000 |
commit | 2cb7bd566648a1b8097593f200949cd4e9f3ce64 (patch) | |
tree | 84b4f617abc8c3c2a7922d0e8fe07525c09d0aed /Makefile | |
parent | bbeb7f3d1552ab971dd625340d256ddad5e3dceb (diff) | |
download | mandoc-2cb7bd566648a1b8097593f200949cd4e9f3ce64.tar.gz |
Provide a variable BINM_CATMAN.
Suggested by Michael <Stapelberg@debian.org>.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -428,8 +428,10 @@ cgi-install: man.cgi catman-install: mandocd catman mkdir -p $(DESTDIR)$(SBINDIR) mkdir -p $(DESTDIR)$(MANDIR)/man8 - $(INSTALL_PROGRAM) mandocd catman $(DESTDIR)$(SBINDIR) - $(INSTALL_MAN) mandocd.8 catman.8 $(DESTDIR)$(MANDIR)/man8 + $(INSTALL_PROGRAM) mandocd $(DESTDIR)$(SBINDIR) + $(INSTALL_PROGRAM) catman $(DESTDIR)$(SBINDIR)/$(BINM_CATMAN) + $(INSTALL_MAN) mandocd.8 $(DESTDIR)$(MANDIR)/man8 + $(INSTALL_MAN) catman.8 $(DESTDIR)$(MANDIR)/man8/$(BINM_CATMAN).8 Makefile.local config.h: configure ${TESTSRCS} @echo "$@ is out of date; please run ./configure" |