Hmm, now it works. Magic?
$ dpkg -l|grep gnome-doc
ii gnome-doc-tools 1.0-6.1
Tools, stylesheets and DTDs for GNOME.
ii gnome-doc-utils 0.11.1-0ubuntu1
a collection of documentation utilities for-- gnome-doc-tool is broken https://bugs.launchpad.net/bugs/130011 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
