Merge pull request #2753 from xmcclure/checked-build-updates
[mono.git] / docs / mono-tools.source
1 <?xml version="1.0"?>
2 <monodoc>
3   <source provider="man" basefile="mono-tools" path="man"/>
4 </monodoc>