On 2018-10-31 16:51, Vaclav Petras wrote:
Am I missing something? Is the package broken? Should I open a ticket
and
where?
Doesn't look like the package is broken:
$ wget -q
https://launchpad.net/ubuntu/+archive/primary/+files/grass-doc_7.4.0-1_all.deb
-P /tmp/
$ dpkg-deb -c /tmp/grass-doc_7.4.0-1_all.deb | grep grass_logo.png
-rw-r--r-- root/root 1702 2018-01-26 11:31
./usr/share/doc/grass-doc/html/grass_logo.png
Kind Regards,
Bas
_______________________________________________
grass-dev mailing list
grass-dev@lists.osgeo.org
https://lists.osgeo.org/mailman/listinfo/grass-dev
