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 Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
