[Mono-docs-list] Monodoc patches policy

[Mario Sopena Novales]

Hi guys,

   I had written a little patch for letting Monodoc to connect through a proxy.
The problem is that it uses the GConf to get the proxy settings. Right now,
monodoc only works in Gnome (because gtkhtml) but as soon as the patch from Zac
Bowling let us run it in other platforms.... what will be the solution?

* Configure the proxy through a command line parameter?
* Use preprocessing?
* Detect the system in which application is running and configure it
dinamically?

I think the cleanest is the first one. Something like --proxy=http://.... Any
suggestions?

On the other hand, has anyone started any effort to let monodoc search the
documentation? I've read somewhere that it would be nice to use Lucene. I'm
looking it but I don't want to duplicate anyones work.

Mario