Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Pryor <jpryor@novell.com>2008-11-19 04:25:37 +0300
committerJonathan Pryor <jpryor@novell.com>2008-11-19 04:25:37 +0300
commitea2c54864303b39d46a44580d48215e06dd4d007 (patch)
tree7fb7c74a9501efd9b2e2e884655a7d3135ceaeac /docs/mono-tools.source
parent49df5839684a5bac2427aa384e006e7be0c450a4 (diff)
Moving man-page using docs into mono/docs...
svn path=/trunk/mono/; revision=119251
Diffstat (limited to 'docs/mono-tools.source')
-rw-r--r--docs/mono-tools.source5
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/mono-tools.source b/docs/mono-tools.source
new file mode 100644
index 00000000000..e545ef17a84
--- /dev/null
+++ b/docs/mono-tools.source
@@ -0,0 +1,5 @@
+<?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>