]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Fix two xmllint errors.
authorNicholas Nethercote <n.nethercote@gmail.com>
Fri, 21 Apr 2023 13:00:39 +0000 (23:00 +1000)
committerNicholas Nethercote <n.nethercote@gmail.com>
Fri, 21 Apr 2023 13:00:39 +0000 (23:00 +1000)
cachegrind/docs/cg-manual.xml

index 35d6a412e3c9dd6d94e00872c3108cdf54ea7198..a14cd7c9260f8d0e4ce7e7496d69d50f1867e1bd 100644 (file)
@@ -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">