X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;ds=sidebyside;f=docs%2Fmono-tools.config;h=b8a850b078faad374e035543b910696ac9ee9263;hb=ccdf8c3274d1793ffeddedfd784d49707feea62a;hp=a5d8863748ec4f607f8977f11034ed4b36e72b90;hpb=6f5a0b555436eba699f9dd2659471044097b951b;p=mono.git

diff --git a/docs/mono-tools.config b/docs/mono-tools.config
index a5d8863748e..b8a850b078f 100644
--- a/docs/mono-tools.config
+++ b/docs/mono-tools.config
@@ -34,10 +34,8 @@
   <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="oldmono(1)"            page="../man/oldmono.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" />