|
From: Mark W. <ma...@so...> - 2020-05-13 16:05:51
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=14c818557cd5d89894818c8503b089adfdbff70a commit 14c818557cd5d89894818c8503b089adfdbff70a Author: Mark Wielaard <ma...@kl...> Date: Wed May 13 14:08:19 2020 +0200 Make manual-writing-tools.xml xmllint clean. Diff: --- docs/xml/manual-writing-tools.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/xml/manual-writing-tools.xml b/docs/xml/manual-writing-tools.xml index 63bc197af7..a36d775544 100644 --- a/docs/xml/manual-writing-tools.xml +++ b/docs/xml/manual-writing-tools.xml @@ -7,8 +7,8 @@ <chapter id="manual-writing-tools" xreflabel="Writing a New Valgrind Tool"> <title>Writing a New Valgrind Tool</title> -So you want to write a Valgrind tool? Here are some instructions that may -help. +<para>So you want to write a Valgrind tool? Here are some instructions +that may help.</para> <sect1 id="manual-writing-tools.intro" xreflabel="Introduction"> <title>Introduction</title> |