diff -u mono-tools-2.0/debian/changelog mono-tools-2.0/debian/changelog --- mono-tools-2.0/debian/changelog +++ mono-tools-2.0/debian/changelog @@ -1,3 +1,13 @@ +mono-tools (2.0-0ubuntu2.1) jaunty-proposed; urgency=low + + * debian/monodoc-browser.install: + + Ensure that Webkit# HTML renderer plugin is actually included in + the monodoc-browser package, and not just built and thrown away. + This helps ensure that a renderer which works on dark GTK+ themes + is included, rather than the terrible GtkHtml one (LP: #367810) + + -- Jo Shields Mon, 27 Apr 2009 08:51:33 +0100 + mono-tools (2.0-0ubuntu2) jaunty; urgency=low * Rebuild for gnome-sharp2 transition (LP: #314516) diff -u mono-tools-2.0/debian/monodoc-browser.install mono-tools-2.0/debian/monodoc-browser.install --- mono-tools-2.0/debian/monodoc-browser.install +++ mono-tools-2.0/debian/monodoc-browser.install @@ -1,5 +1,5 @@ debian/tmp/usr/bin/monodoc debian/tmp/usr/lib/monodoc/browser.exe -debian/tmp/usr/lib/monodoc/GtkHtmlHtmlRender.dll +debian/tmp/usr/lib/monodoc/WebKitHtmlRender.dll debian/tmp/usr/share/pixmaps/monodoc.png debian/tmp/usr/share/applications/monodoc.desktop