[Mono-devel-list] [PATCH] Monodoc frontend love

[Phil Crosby]

Small patch includes fixes for the following issues with monodoc's bash
script:

when trying to get monodoc command line help, the user might enter -? or
-h or --? or --h; the only option that will give them a usage message
right now is "--help". If the user enters any of the other switches,
monodoc will try and load the switch as a topic. Instead, the user
should get a usage message if they input any unrecognized command
following any number of dashes.

Also, if the user _really_ wants to open a topic starting with "-" from
the command line, they can use the standard "--" switch which means "all
strings after -- are arguments" to open that topic, supported by this
patch.

Lastly, if you run --make-index as a user and don't have permission to
/usr/lib/monodoc/monodoc.index (a common enough occurrence) you get the
entire UnauthorizedAccessException callstack dumped to ouptput. This
patch dumps just the message, "Access to the path
"/usr/lib/monodoc/monodoc.index" is denied."

-Phil Crosby