diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2017-07-01 12:02:31 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-07-01 12:02:31 +0000 |
commit | 01063726532b07a147cbb2173cb3ad49318ca174 (patch) | |
tree | 9272151ed0d819724533b4e957301ea317023a29 /regress/mdoc/Sh/badNAME.in | |
parent | a288316b2989716c6f4ed17dce8e778e9b6de9d7 (diff) | |
download | mandoc-01063726532b07a147cbb2173cb3ad49318ca174.tar.gz |
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/Sh/badNAME.in')
0 files changed, 0 insertions, 0 deletions