]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
dh-manual.xml: Don't use computeroutput in title.
authorMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 14:43:41 +0000 (16:43 +0200)
committerMark Wielaard <mark@klomp.org>
Wed, 13 May 2020 14:43:51 +0000 (16:43 +0200)
It seems legal docbook, but it crashes our xsltproc/pdfxmltex toolchain.

dhat/docs/dh-manual.xml

index f643e62d63c5382fa8d25e9beae65c985f0923d1..e1d2ac6141a8cf2cc93b116b9ff83acdf5fc4330 100644 (file)
@@ -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>