From: Mark Wielaard <mark@klomp.org>
Date: Wed, 13 May 2020 14:43:41 +0000 (+0200)
Subject: dh-manual.xml: Don't use computeroutput in title.
X-Git-Tag: VALGRIND_3_16_0~21
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=9a79b194f2f41dfdc63fddcd10643005ab1f36dc;p=thirdparty%2Fvalgrind.git

dh-manual.xml: Don't use computeroutput in title.

It seems legal docbook, but it crashes our xsltproc/pdfxmltex toolchain.
---

diff --git a/dhat/docs/dh-manual.xml b/dhat/docs/dh-manual.xml
index f643e62d63..e1d2ac6141 100644
--- a/dhat/docs/dh-manual.xml
+++ b/dhat/docs/dh-manual.xml
@@ -622,7 +622,7 @@ optimization.</para>
 
 
 <sect1 id="dh-manual.realloc" xreflabel="Treatment of realloc">
-<title>Treatment of <computeroutput>realloc</computeroutput></title>
+<title>Treatment of realloc</title>
 
 <para><computeroutput>realloc</computeroutput> is a tricky function and there
 are several different ways that DHAT could handle it.</para>