From 96846b00a742c57c932578a0a4e1554566631b5e Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Thu, 19 Oct 2023 11:45:42 +0000 Subject: Install mandoc.css by default even if man.cgi(8) is not built. It matters because users of "mandoc -T html" typically need it. Issue found in a conversation with Alejandro Colomar . --- configure | 3 +++ 1 file changed, 3 insertions(+) (limited to 'configure') diff --git a/configure b/configure index d6e00e2a..8ed55d55 100755 --- a/configure +++ b/configure @@ -111,6 +111,7 @@ BIN_FROM_SBIN= INCLUDEDIR= LIBDIR= MANDIR= +MISCDIR= READ_ALLOWED_PATH= WWWPREFIX="/var/www" @@ -620,6 +621,7 @@ exec > Makefile.local [ -z "${INCLUDEDIR}" ] && INCLUDEDIR="${PREFIX}/include/mandoc" [ -z "${LIBDIR}" ] && LIBDIR="${PREFIX}/lib/mandoc" [ -z "${MANDIR}" ] && MANDIR="${PREFIX}/man" +[ -z "${MISCDIR}" ] && MISCDIR="${PREFIX}/share/misc" [ -z "${HTDOCDIR}" ] && HTDOCDIR="${WWWPREFIX}/htdocs" [ -z "${CGIBINDIR}" ] && CGIBINDIR="${WWWPREFIX}/cgi-bin" @@ -658,6 +660,7 @@ BIN_FROM_SBIN = ${BIN_FROM_SBIN} INCLUDEDIR = ${INCLUDEDIR} LIBDIR = ${LIBDIR} MANDIR = ${MANDIR} +MISCDIR = ${MISCDIR} WWWPREFIX = ${WWWPREFIX} HTDOCDIR = ${HTDOCDIR} CGIBINDIR = ${CGIBINDIR} -- cgit