From ec4aa33aa49344c12ff324f27bb68a147a21623e Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Sun, 2 Jul 2017 21:18:29 +0000 Subject: 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. --- mandoc_xr.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'mandoc_xr.h') 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 * @@ -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[]; }; -- cgit v1.2.3-56-ge451