summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile6
-rw-r--r--catman.c4
-rwxr-xr-xconfigure3
-rw-r--r--configure.local.example7
4 files changed, 15 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index 615e507e..85bc0852 100644
--- a/Makefile
+++ b/Makefile
@@ -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"
diff --git a/catman.c b/catman.c
index 848d34d4..01c5e2bf 100644
--- a/catman.c
+++ b/catman.c
@@ -258,7 +258,7 @@ main(int argc, char **argv)
void
usage(void)
{
- fprintf(stderr, "usage: catman [-I os=name] [-T output] "
- "srcdir dstdir\n");
+ fprintf(stderr, "usage: %s [-I os=name] [-T output] "
+ "srcdir dstdir\n", BINM_CATMAN);
exit(1);
}
diff --git a/configure b/configure
index 59d64a34..864e16c1 100755
--- a/configure
+++ b/configure
@@ -98,6 +98,7 @@ HTDOCDIR=
CGIBINDIR=
BINM_APROPOS="apropos"
+BINM_CATMAN="catman"
BINM_MAKEWHATIS="makewhatis"
BINM_MAN="man"
BINM_SOELIM="soelim"
@@ -390,6 +391,7 @@ cat << __HEREDOC__
#define HAVE_OHASH ${HAVE_OHASH}
#define BINM_APROPOS "${BINM_APROPOS}"
+#define BINM_CATMAN "${BINM_CATMAN}"
#define BINM_MAKEWHATIS "${BINM_MAKEWHATIS}"
#define BINM_MAN "${BINM_MAN}"
#define BINM_SOELIM "${BINM_SOELIM}"
@@ -491,6 +493,7 @@ WWWPREFIX = ${WWWPREFIX}
HTDOCDIR = ${HTDOCDIR}
CGIBINDIR = ${CGIBINDIR}
BINM_APROPOS = ${BINM_APROPOS}
+BINM_CATMAN = ${BINM_CATMAN}
BINM_MAKEWHATIS = ${BINM_MAKEWHATIS}
BINM_MAN = ${BINM_MAN}
BINM_SOELIM = ${BINM_SOELIM}
diff --git a/configure.local.example b/configure.local.example
index 98cf468e..c05e5cab 100644
--- a/configure.local.example
+++ b/configure.local.example
@@ -97,7 +97,7 @@ MANM_MANCONF="mandoc.conf" # default is "man.conf"
# It is possible to set only one or a few of these variables,
# there is no need to copy the whole block.
-MANM_MAN="mandoc_man" # default is "man"
+MANM_MAN="mandoc_man" # default is "catman"
MANM_MDOC="mandoc_mdoc" # default is "mdoc"
MANM_ROFF="mandoc_roff" # default is "roff"
MANM_EQN="mandoc_eqn" # default is "eqn"
@@ -227,6 +227,11 @@ CGIBINDIR="${WWWPREFIX}/cgi-bin"
BUILD_CATMAN=1
+# Install catman(8) with a different name.
+# See BINM_MAN above for details of how this works.
+
+BINM_CATMAN=mcatman # default is "man"
+
# --- settings that rarely need to be touched --------------------------
# Do not set these variables unless you really need to.