From: Mark Wielaard <mark@klomp.org>
Date: Wed, 13 May 2020 12:08:19 +0000 (+0200)
Subject: Make manual-writing-tools.xml xmllint clean.
X-Git-Tag: VALGRIND_3_16_0~30
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=14c818557cd5d89894818c8503b089adfdbff70a;p=thirdparty%2Fvalgrind.git

Make manual-writing-tools.xml xmllint clean.
---

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>