These files need to move into mono/docs to fix

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

<?xml version="1.0"?>
<monodoc>
  <node label="Mono Development Tools" name="dev-tools" parent="tools" />
  <source provider="man" basefile="mono-tools" path="dev-tools"/>
</monodoc>