]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Added entry for DRD manual.
authorBart Van Assche <bvanassche@acm.org>
Mon, 16 Jun 2008 20:31:16 +0000 (20:31 +0000)
committerBart Van Assche <bvanassche@acm.org>
Mon, 16 Jun 2008 20:31:16 +0000 (20:31 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8238

docs/xml/manual.xml

index 2514199718b8efc1a94471365b03ca0543259ed7..e159352573afe6b52ad3da7dd79c9cd8227374d3 100644 (file)
@@ -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"