From: Mark Wielaard Date: Wed, 13 May 2020 21:39:40 +0000 (+0200) Subject: Don't use similar ids for varlistentry in cg-manual and cl-manual. X-Git-Tag: VALGRIND_3_16_0~19 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=1922e3622847aa4451b7aee3149f054488734df9;p=thirdparty%2Fvalgrind.git Don't use similar ids for varlistentry in cg-manual and cl-manual. --- diff --git a/cachegrind/docs/cg-manual.xml b/cachegrind/docs/cg-manual.xml index 353e1dbc6d..7a44e489f2 100644 --- a/cachegrind/docs/cg-manual.xml +++ b/cachegrind/docs/cg-manual.xml @@ -793,7 +793,7 @@ small differences like these; it works in the same way as - + @@ -803,7 +803,7 @@ small differences like these; it works in the same way as - + @@ -813,7 +813,7 @@ small differences like these; it works in the same way as - + diff --git a/callgrind/docs/cl-manual.xml b/callgrind/docs/cl-manual.xml index 713c1b7453..67e677ed02 100644 --- a/callgrind/docs/cl-manual.xml +++ b/callgrind/docs/cl-manual.xml @@ -1082,7 +1082,7 @@ Also see . - + @@ -1092,7 +1092,7 @@ Also see . - + @@ -1102,7 +1102,7 @@ Also see . - +