diff options
| author |   Ingo Schwarze <schwarze@openbsd.org> | 2017-07-01 09:47:30 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-07-01 09:47:30 +0000 |
| commit | c93f1e0f2d3891330860de19b5ec3e274971a300 (patch) | |
| tree | 6aa6244559b5608dfb842dda23dbc7377e0ee1ba /configure | |
| parent | 3aad1243de81f4fa87d3d67a5c4c6f0385bd0ac7 (diff) | |
| download | mandoc-c93f1e0f2d3891330860de19b5ec3e274971a300.tar.gz mandoc-c93f1e0f2d3891330860de19b5ec3e274971a300.tar.zst mandoc-c93f1e0f2d3891330860de19b5ec3e274971a300.zip | |
Basic reporting of .Xrs to manual pages that don't exist
in the base system, inspired by mdoclint(1).
We are able to do this because (1) the -mdoc parser, the -Tlint validator,
and the man(1) manual page lookup code are all in the same program
and (2) the mandoc.db(5) database format allows fast lookup.
Feedback from, previous versions tested by, and OK jmc@.
A few features will be added to this in the tree, step by step.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,6 +1,6 @@ #!/bin/sh # -# $Id: configure,v 1.63 2017/06/12 19:05:47 schwarze Exp $ +# $Id: configure,v 1.64 2017/07/01 09:47:30 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016, 2017 Ingo Schwarze <schwarze@openbsd.org> # @@ -35,6 +35,7 @@ echo "config.log: writing..." SOURCEDIR=`dirname "$0"` +MANPATH_BASE="/usr/share/man:/usr/X11R6/man" MANPATH_DEFAULT="/usr/share/man:/usr/X11R6/man:/usr/local/man" OSNAME= UTF8_LOCALE= @@ -359,6 +360,7 @@ __HEREDOC__ echo echo "#define MAN_CONF_FILE \"/etc/${MANM_MANCONF}\"" +echo "#define MANPATH_BASE \"${MANPATH_BASE}\"" echo "#define MANPATH_DEFAULT \"${MANPATH_DEFAULT}\"" [ -n "${OSNAME}" ] && echo "#define OSNAME \"${OSNAME}\"" [ -n "${UTF8_LOCALE}" ] && echo "#define UTF8_LOCALE \"${UTF8_LOCALE}\"" |