[GRASS-dev] Wrong or broken doc package for Ubuntu?

[Bas Couwenberg]

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