** Patch added: "An updated patch, better handing spaces in filenames" https://bugs.launchpad.net/ubuntu/+source/gnome-doc-utils/+bug/695069/+attachment/1778208/+files/gnome-doc-tool.in.diff
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/695069 Title: gnome-doc-tool crashes when converting .page files -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
