diff options
| author | Ingo Schwarze <schwarze@openbsd.org> | 2017-07-02 21:18:29 +0000 |
|---|---|---|
| committer | Ingo Schwarze <schwarze@openbsd.org> | 2017-07-02 21:18:29 +0000 |
| commit | c3e510863e8794c67068a3e8afc61d9af760144f (patch) | |
| tree | c51c4ef2405e36271fa26e84842be37963998a4f /regress/mdoc/Sh/nohead.out_lint | |
| parent | 9a0fd61677909a43ee8a1f7d69598769f9a7ad6b (diff) | |
| download | mandoc-c3e510863e8794c67068a3e8afc61d9af760144f.tar.gz | |
If a single page references the same non-existent manual more than
once, print "(N times)" after the message "referenced manual not
found", to lessen the risk that people fix the first instance and
miss the others; jmc@ confirmed that this is useful.
Diffstat (limited to 'regress/mdoc/Sh/nohead.out_lint')
0 files changed, 0 insertions, 0 deletions