Just to be clear, monodoc won't run if it's not built against webkitgtk (or one of a few other dependencies that aren't in Debian any more) so we should drop the monodoc package too.
Thanks, Jeremy Bicha
- Bug#871831: mono-tools: Depends on libwebkit1.1-cil which is ... Jeremy Bicha
