Devhelp not available for webkit

[Dimitri John Ledkov]

The documentation is build, but the devhelp files are installed gzipped and the index html files are all empty. Therefore WebkitGtk documentation is not available from devhelp =(

ProblemType: Bug
DistroRelease: Ubuntu 11.10
Package: libwebkitgtk-3.0-dev 1.4.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.0-1.2-generic 3.0.0-rc3
Uname: Linux 3.0-1-generic i686
Architecture: i386
Date: Tue Jun 28 07:25:02 2011
ProcEnviron:
 LANGUAGE=en_GB:en
 PATH=(custom, user)
 LANG=en_GB.UTF-8
 SHELL=/bin/bash
SourcePackage: webkit
UpgradeStatus: Upgraded to oneiric on 2011-06-26 (1 days ago)

[Jason Conti (jconti)]

I am going to mark this bug as a duplicate of bug #900988 because there is a proposed package there that should fix this issue. If you could enable proposed, test that package and verify that it fixes the issue, that would be great. Thanks!