diff options
author | 2017-07-02 21:18:29 +0000 | |
---|---|---|
committer | 2017-07-02 21:18:29 +0000 | |
commit | ec4aa33aa49344c12ff324f27bb68a147a21623e (patch) | |
tree | 03ab3cef63acc0d53aadd0edbdb78d211819addd /regress/mdoc/Xr/args.out_lint | |
parent | e5501471e172d4f6de0c3e4afca1fffb5cc93ea7 (diff) | |
download | mandoc-ec4aa33aa49344c12ff324f27bb68a147a21623e.tar.gz mandoc-ec4aa33aa49344c12ff324f27bb68a147a21623e.tar.zst mandoc-ec4aa33aa49344c12ff324f27bb68a147a21623e.zip |
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/Xr/args.out_lint')
0 files changed, 0 insertions, 0 deletions