Added public files
Roughly added all public files. Probably missed some, though.
diff --git a/obj/tools/MGtool/man.d/xman b/obj/tools/MGtool/man.d/xman
new file mode 100644
index 0000000..9b56ad1
--- /dev/null
+++ b/obj/tools/MGtool/man.d/xman
@@ -0,0 +1,17 @@
+SYNOPSIS
+ xman <topic>
+
+DESCRIPTION
+ Searches in some special directories under /doc for the given topic
+ or command. If there are two equal topics in different directories
+ the one found first will be printed.
+
+EXAMPLES
+ xman xman
+ xman xforall
+ xman efun/destruct
+ xman w/destruct
+ xman move
+ xman thing
+ xman domains
+