Thanks for your bug. This upload fixes the issue:
devhelp (0.12-0ubuntu4) edgy; urgency=low
.
* debian/devhelp.install:
- install the .gedit-plugin too (Ubuntu: #56458)
** Changed in: devhelp (Ubuntu)
Importance: Untriaged => Low
Assignee: (unassigned) => Ubuntu Desktop Bugs
Status: Unconfirmed => Fix Released
--
devhelp gedit plugin not properly installed
https://launchpad.net/bugs/56458
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
