Make manual-writing-tools.xml xmllint clean.

diff --git a/docs/xml/manual-writing-tools.xml b/docs/xml/manual-writing-tools.xml
index 63bc197af7ba68851ae19de8a64c2e8552cd1cfa..a36d775544c425a7f6d8ea8a3fadb110cfc1f82e 100644 (file)
--- 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>