diff options
author | 2017-07-01 09:47:30 +0000 | |
---|---|---|
committer | 2017-07-01 09:47:30 +0000 | |
commit | c93f1e0f2d3891330860de19b5ec3e274971a300 (patch) | |
tree | 6aa6244559b5608dfb842dda23dbc7377e0ee1ba /configure.local.example | |
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.local.example')
-rw-r--r-- | configure.local.example | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.local.example b/configure.local.example index 4c0d77b0..d6110a22 100644 --- a/configure.local.example +++ b/configure.local.example @@ -1,4 +1,4 @@ -# $Id: configure.local.example,v 1.31 2017/06/12 19:05:47 schwarze Exp $ +# $Id: configure.local.example,v 1.32 2017/07/01 09:47:30 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016, 2017 Ingo Schwarze <schwarze@openbsd.org> # @@ -62,6 +62,11 @@ UTF8_LOCALE=en_US.UTF-8 MANPATH_DEFAULT="/usr/share/man:/usr/X11R6/man:/usr/local/man" +# Validation of cross references with mandoc -Tlint only looks +# for manual pages in the following directories: + +MANPATH_BASE="/usr/share/man:/usr/X11R6/man" + # In manual pages written in the mdoc(7) language, the operating system # version is displayed in the page footer line. If an operating system # is specified as an argument to the .Os macro, that is always used. |