update

[l4.git] / l4 / pkg / valgrind / src / valgrind-3.6.0-svn / docs / xml / manual.xml

diff --git a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/docs/xml/manual.xml b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/docs/xml/manual.xml
index 5a01af2a73d6e8c4a6638621df1369ccd9274d60..333e5b77866c70d354f8b84853059dc359917426 100644 (file)
--- a/l4/pkg/valgrind/src/valgrind-3.6.0-svn/docs/xml/manual.xml
+++ b/l4/pkg/valgrind/src/valgrind-3.6.0-svn/docs/xml/manual.xml
@@ -36,7 +36,9 @@
       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="../../exp-ptrcheck/docs/pc-manual.xml" parse="xml"  
+  <xi:include href="../../exp-dhat/docs/dh-manual.xml" parse="xml"  
+      xmlns:xi="http://www.w3.org/2001/XInclude" />
+  <xi:include href="../../exp-sgcheck/docs/sg-manual.xml" parse="xml"  
       xmlns:xi="http://www.w3.org/2001/XInclude" />
   <xi:include href="../../exp-bbv/docs/bbv-manual.xml" parse="xml"  
       xmlns:xi="http://www.w3.org/2001/XInclude" />