]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
nl-manual.xml: Use unique nl-manual.overview as id, not ms-manual.overview.
authorMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 21:51:52 +0000 (23:51 +0200)
committerMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 21:51:52 +0000 (23:51 +0200)
none/docs/nl-manual.xml

index 53758f214e06811f24b28d19d25f72f13c65657c..eae9a52cd950a91149faf2d641f03c77f96cdc65 100644 (file)
@@ -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