|
From: Mark W. <ma...@so...> - 2020-05-13 16:00:32
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=9a79b194f2f41dfdc63fddcd10643005ab1f36dc commit 9a79b194f2f41dfdc63fddcd10643005ab1f36dc Author: Mark Wielaard <ma...@kl...> Date: Wed May 13 16:43:41 2020 +0200 dh-manual.xml: Don't use computeroutput in title. It seems legal docbook, but it crashes our xsltproc/pdfxmltex toolchain. Diff: --- dhat/docs/dh-manual.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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> |