|
From: Nicholas N. <nj...@so...> - 2023-04-21 13:01:16
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=b12703598ab42d377c3ecedc71f2e1324d932cd2 commit b12703598ab42d377c3ecedc71f2e1324d932cd2 Author: Nicholas Nethercote <n.n...@gm...> Date: Fri Apr 21 23:00:39 2023 +1000 Fix two xmllint errors. Diff: --- cachegrind/docs/cg-manual.xml | 4 ---- 1 file changed, 4 deletions(-) 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"> |