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 /mdoc_validate.c | |
| 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 'mdoc_validate.c')
| -rw-r--r-- | mdoc_validate.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/mdoc_validate.c b/mdoc_validate.c index 73493155..6561976c 100644 --- a/mdoc_validate.c +++ b/mdoc_validate.c @@ -1,4 +1,4 @@ -/* $Id: mdoc_validate.c,v 1.345 2017/06/29 15:22:17 schwarze Exp $ */ +/* $Id: mdoc_validate.c,v 1.346 2017/07/01 09:47:30 schwarze Exp $ */ /* * Copyright (c) 2008-2012 Kristaps Dzonsons <kristaps@bsd.lv> * Copyright (c) 2010-2017 Ingo Schwarze <schwarze@openbsd.org> @@ -33,6 +33,7 @@ #include "mandoc_aux.h" #include "mandoc.h" +#include "mandoc_xr.h" #include "roff.h" #include "mdoc.h" #include "libmandoc.h" @@ -2336,8 +2337,11 @@ post_xr(POST_ARGS) if (nch->next == NULL) { mandoc_vmsg(MANDOCERR_XR_NOSEC, mdoc->parse, n->line, n->pos, "Xr %s", nch->string); - } else + } else { assert(nch->next == n->last); + mandoc_xr_add(nch->next->string, nch->string, + nch->line, nch->pos); + } post_delim(mdoc); } |