summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorIngo Schwarze <schwarze@openbsd.org>2017-02-16 15:12:32 +0000
committerIngo Schwarze <schwarze@openbsd.org>2017-02-16 15:12:32 +0000
commit2cb7bd566648a1b8097593f200949cd4e9f3ce64 (patch)
tree84b4f617abc8c3c2a7922d0e8fe07525c09d0aed /configure
parentbbeb7f3d1552ab971dd625340d256ddad5e3dceb (diff)
downloadmandoc-2cb7bd566648a1b8097593f200949cd4e9f3ce64.tar.gz
Provide a variable BINM_CATMAN.
Suggested by Michael <Stapelberg@debian.org>.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
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}