diff options
author | 2017-07-01 12:02:31 +0000 | |
---|---|---|
committer | 2017-07-01 12:02:31 +0000 | |
commit | 23aaffb26a660f26e8329ced71925e731c86a7ce (patch) | |
tree | a478e8da9bb2ad3c83a51130be5856b80798047d /regress/mdoc/Fo | |
parent | c93f1e0f2d3891330860de19b5ec3e274971a300 (diff) | |
download | mandoc-23aaffb26a660f26e8329ced71925e731c86a7ce.tar.gz mandoc-23aaffb26a660f26e8329ced71925e731c86a7ce.tar.zst mandoc-23aaffb26a660f26e8329ced71925e731c86a7ce.zip |
When checking the validity of cross references with -Tlint,
fall back from database search to file system search
just like man(1) does when looking up manuals.
This is not too expensive because on a system having up-to-date
mandoc.db(5) files, it only prolongs the time needed to check
*invalid* references - and you are not supposed to have many of
those, right? And on a system with missing or invalid mandoc.db(5)
files, spending a bit of time and warning loudly about the real
problem is also better than quickly issuing bogus warnings about
cross references that are actually valid.
Diffstat (limited to 'regress/mdoc/Fo')
0 files changed, 0 insertions, 0 deletions