|
From: Bart V. A. <bar...@gm...> - 2008-06-15 12:21:10
|
Hello,
As you probably noticed I'm converting DRD's documentation from the
README.txt format into XML format. Is it OK to add this documentation
at the place indicated by the patch below into Valgrind's manual ?
Bart.
Index: docs/xml/manual.xml
===================================================================
--- docs/xml/manual.xml (revision 8229)
+++ docs/xml/manual.xml (working copy)
@@ -32,6 +32,8 @@
xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../helgrind/docs/hg-manual.xml" parse="xml"
xmlns:xi="http://www.w3.org/2001/XInclude" />
+ <xi:include href="../../exp-drd/docs/drd-manual.xml" parse="xml"
+ xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../massif/docs/ms-manual.xml" parse="xml"
xmlns:xi="http://www.w3.org/2001/XInclude" />
<xi:include href="../../none/docs/nl-manual.xml" parse="xml"
|