Fix 'make html-docs' and 'make print-docs'.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6389 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/docs/xml/manual-writing-tools.xml b/docs/xml/manual-writing-tools.xml
index 284d1d3..b491f98 100644
--- a/docs/xml/manual-writing-tools.xml
+++ b/docs/xml/manual-writing-tools.xml
@@ -198,7 +198,7 @@
<computeroutput>VG_DETERMINE_INTERFACE_VERSION</computeroutput> (which also
checks that the core/tool interface of the tool matches that of the core).
The last three are registered using the
-<computeroutput>VG_(basic_tool_funcs)</computeroutput> function.
+<computeroutput>VG_(basic_tool_funcs)</computeroutput> function.</para>
<para>In addition, if a tool wants to use some of the optional services
provided by the core, it may have to define other functions and tell the