diff options
author | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2017-07-01 12:00:13 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@cvs.openbsd.org> | 2017-07-01 12:00:13 +0000 |
commit | 143934a17bc6be6dacf13e33e8bccaa8e10101f7 (patch) | |
tree | 717ebf55a5f49517b859e13481de46dfa56b113e /games/boggle | |
parent | 1ad6d7311961fac841acd8e08dbb1476822628fb (diff) |
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 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 'games/boggle')
0 files changed, 0 insertions, 0 deletions