If a single page references the same non-existent manual more than
authorschwarze <schwarze@openbsd.org>
Sun, 2 Jul 2017 21:17:12 +0000 (21:17 +0000)
committerschwarze <schwarze@openbsd.org>
Sun, 2 Jul 2017 21:17:12 +0000 (21:17 +0000)
commitbff2a0c301a2f68ac08618b63a82f0a27dcaf3f1
tree47ea19e69233f78ff649cad2a2bbbc306e41d0de
parent1a8d1b186933499f19f7744e5c90f4d72bf9fdcd
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.
usr.bin/mandoc/main.c
usr.bin/mandoc/mandoc_xr.c
usr.bin/mandoc/mandoc_xr.h