X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=docs%2Fmono-tools.source;h=37f4b44ca445cd12f1987dd1c0158243bb9b0370;hb=0af984a39b46915d4ce1762edb4bdda8c41faef7;hp=e545ef17a84be00949a7fb66945f88897e6645e3;hpb=6f5a0b555436eba699f9dd2659471044097b951b;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>