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 | ec4aa33aa49344c12ff324f27bb68a147a21623e (patch) | |
| tree | 03ab3cef63acc0d53aadd0edbdb78d211819addd /mandoc_xr.h | |
| 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 'mandoc_xr.h')
| -rw-r--r-- | mandoc_xr.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/mandoc_xr.h b/mandoc_xr.h index bf82598d..e0c6af0e 100644 --- a/mandoc_xr.h +++ b/mandoc_xr.h @@ -1,4 +1,4 @@ -/* $Id: mandoc_xr.h,v 1.2 2017/07/02 15:31:59 schwarze Exp $ */ +/* $Id: mandoc_xr.h,v 1.3 2017/07/02 21:18:29 schwarze Exp $ */ /* * Copyright (c) 2017 Ingo Schwarze <schwarze@openbsd.org> * @@ -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[]; }; |