Merge pull request #5714 from alexischr/update_bockbuild

[mono.git] / docs / mono-tools.config

diff --git a/docs/mono-tools.config b/docs/mono-tools.config
index 654f73bedb16338f87f2a7003c59461fa658475e..f83f62df4297562938cef98668924866b57de2e4 100644 (file)
--- a/docs/mono-tools.config
+++ b/docs/mono-tools.config
@@ -34,11 +34,9 @@
   <manpage name="monodocs2html(1)"      page="../man/monodocs2html.1" />
   <manpage name="monolinker(1)"         page="../man/monolinker.1" />
   <manpage name="monop(1)"              page="../man/monop.1" />
-  <manpage name="monostyle(1)"          page="../man/monostyle.1" />
   <manpage name="mono-xmltool(1)"       page="../man/mono-xmltool.1" />
   <manpage name="mozroots(1)"           page="../man/mozroots.1" />
   <manpage name="permview(1)"           page="../man/permview.1" />
-  <manpage name="prj2make(1)"           page="../man/prj2make.1" />
   <manpage name="resgen(1)"             page="../man/resgen.1" />
   <manpage name="secutil(1)"            page="../man/secutil.1" />
   <manpage name="setreg(1)"             page="../man/setreg.1" />