From: Mark Wielaard <mark@klomp.org>
Date: Wed, 13 May 2020 21:51:52 +0000 (+0200)
Subject: nl-manual.xml: Use unique nl-manual.overview as id, not ms-manual.overview.
X-Git-Tag: VALGRIND_3_16_0~18
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=66d7f279e7c6aa450d4ef32c4c59c5bef74572fa;p=thirdparty%2Fvalgrind.git

nl-manual.xml: Use unique nl-manual.overview as id, not ms-manual.overview.
---

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