You have been subscribed to a public bug:
$ gnome-doc-tool
/usr/bin/gnome-doc-tool: 36: function: not found
gnome-doc-tool:
Tested on gutsy i386
** Affects: gnome-doc-tools (Ubuntu)
Importance: Low
Assignee: Ubuntu Desktop Bugs
Status: Incomplete
--
gnome-doc-tool is broken
https://bugs.launchpad.net/bugs/130011
--
desktop-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
