Restructure of mono.sln and build properties to better fix static/dynamic library...

[mono.git] / docs / mono-tools.source

diff --git a/docs/mono-tools.source b/docs/mono-tools.source
index e545ef17a84be00949a7fb66945f88897e6645e3..37f4b44ca445cd12f1987dd1c0158243bb9b0370 100644 (file)
--- 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>