From: Nicholas Nethercote <n.nethercote@gmail.com>
Date: Fri, 21 Apr 2023 13:00:39 +0000 (+1000)
Subject: Fix two xmllint errors.
X-Git-Tag: VALGRIND_3_21_0~29
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b12703598ab42d377c3ecedc71f2e1324d932cd2;p=thirdparty%2Fvalgrind.git

Fix two xmllint errors.
---

diff --git a/cachegrind/docs/cg-manual.xml b/cachegrind/docs/cg-manual.xml
index 35d6a412e3..a14cd7c926 100644
--- a/cachegrind/docs/cg-manual.xml
+++ b/cachegrind/docs/cg-manual.xml
@@ -1065,8 +1065,6 @@ Cachegrind-specific options are:
 <sect1 id="cg-manual.mergeopts" xreflabel="cg_merge Command-line Options">
 <title>cg_merge Command-line Options</title>
 
-Although cg_merge is deprecated, its options are listed here for completeness.
-
 <!-- start of xi:include in the manpage -->
 <variablelist id="cg_merge.opts.list">
 
@@ -1091,8 +1089,6 @@ Although cg_merge is deprecated, its options are listed here for completeness.
 <sect1 id="cg-manual.diffopts" xreflabel="cg_diff Command-line Options">
 <title>cg_diff Command-line Options</title>
 
-Although cg_diff is deprecated, its options are listed here for completeness.
-
 <!-- start of xi:include in the manpage -->
 <variablelist id="cg_diff.opts.list">