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 /mandoc_xr.h | |
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 'mandoc_xr.h')
-rw-r--r-- | mandoc_xr.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mandoc_xr.h b/mandoc_xr.h index 182dc1ad..1e19199a 100644 --- a/mandoc_xr.h +++ b/mandoc_xr.h @@ -21,6 +21,7 @@ struct mandoc_xr { char *name; int line; /* Or -1 for this page's own names. */ int pos; + int count; char hashkey[]; }; |