diff options
Diffstat (limited to 'man/manpages.source')
| -rw-r--r-- | man/manpages.source | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/manpages.source b/man/manpages.source new file mode 100644 index 00000000000..bfb47cc44c8 --- /dev/null +++ b/man/manpages.source @@ -0,0 +1,4 @@ +<?xml version="1.0"?> +<monodoc> + <source provider="man" basefile="tree" path="manpages"/> +</monodoc> |