Moving man-page using docs into mono/docs...

[mono.git] / docs / mono-file-formats.source

diff --git a/docs/mono-file-formats.source b/docs/mono-file-formats.source
new file mode 100644 (file)
index 0000000..40d94f9
--- /dev/null
+++ b/docs/mono-file-formats.source
@@ -0,0 +1,5 @@
+<?xml version="1.0"?>
+<monodoc>
+  <node label="Mono File Formats" name="mono-formats" parent="formats" />
+  <source provider="man" basefile="mono-file-formats" path="mono-formats"/>
+</monodoc>