|
From: Mark W. <ma...@so...> - 2020-05-15 12:56:27
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=66d7f279e7c6aa450d4ef32c4c59c5bef74572fa commit 66d7f279e7c6aa450d4ef32c4c59c5bef74572fa Author: Mark Wielaard <ma...@kl...> Date: Wed May 13 23:51:52 2020 +0200 nl-manual.xml: Use unique nl-manual.overview as id, not ms-manual.overview. Diff: --- none/docs/nl-manual.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/none/docs/nl-manual.xml b/none/docs/nl-manual.xml index 53758f214e..eae9a52cd9 100644 --- a/none/docs/nl-manual.xml +++ b/none/docs/nl-manual.xml @@ -11,7 +11,7 @@ <option>--tool=none</option> on the Valgrind command line.</para> -<sect1 id="ms-manual.overview" xreflabel="Overview"> +<sect1 id="nl-manual.overview" xreflabel="Overview"> <title>Overview</title> <para>Nulgrind is the simplest possible Valgrind tool. It performs no |