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
diff --git a/docs/xml/tech-docs.xml b/docs/xml/tech-docs.xml
index 5bb7702..8615c1d 100644
--- a/docs/xml/tech-docs.xml
+++ b/docs/xml/tech-docs.xml
@@ -21,7 +21,7 @@
xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../callgrind/docs/cl-format.xml" parse="xml"
xmlns:xi="http://www.w3.org/2001/XInclude" />
- <xi:include href="writing-tools.xml" parse="xml"
+ <xi:include href="manual-writing-tools.xml" parse="xml"
xmlns:xi="http://www.w3.org/2001/XInclude" />
</book>