On Bionic this seems no longer valid. There are no .gz files under /usr/share/gtk-doc/html
$ll /usr/share/gtk-doc/html/*/*|grep gz $ All .devhelp2 files are uncompressed. So probably this bug can be closed? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1466210 Title: don't gzip gtkdoc's devhelp2 files To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gtk-doc/+bug/1466210/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
