|
From: <sv...@va...> - 2009-08-07 06:09:04
|
Author: njn Date: 2009-08-07 07:08:51 +0100 (Fri, 07 Aug 2009) New Revision: 10738 Log: Remove a broken Cachegrind link, and include some extra DRD options. Modified: trunk/docs/xml/valgrind-manpage.xml Modified: trunk/docs/xml/valgrind-manpage.xml =================================================================== --- trunk/docs/xml/valgrind-manpage.xml 2009-08-07 05:58:00 UTC (rev 10737) +++ trunk/docs/xml/valgrind-manpage.xml 2009-08-07 06:08:51 UTC (rev 10738) @@ -127,10 +127,6 @@ <title>Cachegrind Options</title> <xi:include href="../../cachegrind/docs/cg-manual.xml" - xpointer="cg.opts.para" - xmlns:xi="http://www.w3.org/2001/XInclude" /> - -<xi:include href="../../cachegrind/docs/cg-manual.xml" xpointer="cg.opts.list" xmlns:xi="http://www.w3.org/2001/XInclude" /> @@ -174,6 +170,9 @@ <xi:include href="../../drd/docs/drd-manual.xml" xpointer="drd.opts.list" xmlns:xi="http://www.w3.org/2001/XInclude" /> +<xi:include href="../../drd/docs/drd-manual.xml" + xpointer="drd.debugopts.list" + xmlns:xi="http://www.w3.org/2001/XInclude" /> </refsect1> |