|
From: <sv...@va...> - 2008-06-16 20:31:16
|
Author: bart
Date: 2008-06-16 21:31:16 +0100 (Mon, 16 Jun 2008)
New Revision: 8238
Log:
Added entry for DRD manual.
Modified:
trunk/docs/xml/manual.xml
Modified: trunk/docs/xml/manual.xml
===================================================================
--- trunk/docs/xml/manual.xml 2008-06-16 20:23:23 UTC (rev 8237)
+++ trunk/docs/xml/manual.xml 2008-06-16 20:31:16 UTC (rev 8238)
@@ -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"
|