X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=docs%2Fmono-tools.source;h=37f4b44ca445cd12f1987dd1c0158243bb9b0370;hb=f704d56c378b28e252572db4730a6e13edc14aa0;hp=e545ef17a84be00949a7fb66945f88897e6645e3;hpb=a5e40870bd3bb18e1681afed6c71e7edfdb80534;p=mono.git

diff --git a/docs/mono-tools.source b/docs/mono-tools.source
index e545ef17a84..37f4b44ca44 100644
--- a/docs/mono-tools.source
+++ b/docs/mono-tools.source
@@ -1,5 +1,4 @@
 <?xml version="1.0"?>
 <monodoc>
-  <node label="Mono Development Tools" name="dev-tools" parent="tools" />
-  <source provider="man" basefile="mono-tools" path="dev-tools"/>
+  <source provider="man" basefile="mono-tools" path="man"/>
 </monodoc>