[GRASS-dev] g.extension error due to bug in Ubuntu grass-daily-doc package ?

[Moritz Lennert]

I don't know who is currently behind the grass-daily Ubuntu packages at 
https://launchpad.net/~grass/+archive/ubuntu/grass-devel, and if they 
are listening here, but a colleague of mine using these packages was hit 
by a bug that causes an error in the installation of the html docs and 
thus in g.extension.

In the grass-daily-doc package there are two directories in 
/usr/share/doc, each with a html subdirectoy:

grass-daily-doc
grass-doc

The first contains all the html man pages, and the second just contains 
a symlink to jquery (jquery -> ../../../javascript/jquery).

So first issue: I'm not sure there should be two -doc directories. The 
symlink should be in the grass-daily-doc directory (or everything put 
into the grass-doc directory).

The second issue is that the file 
/usr/share/doc-base/grass-daily-manuals contains hardcoded paths for 
grass71:

Index: /usr/share/doc/grass71-doc/html/index.html
Files: /usr/share/doc/grass71-doc/html/*.html

These should be replaced by links to grass-daily-doc:

Index: /usr/share/doc/grass-daily-doc/html/index.html
Files: /usr/share/doc/grass-daily-doc/html/*.html

And finally, the symlink in

/usr/lib/grass73/docs/html -> ../../../share/doc/grass-doc/html

points to grass-doc, not grass-daily-doc (and grass-doc/html only 
contains the link to jquery).

Because of these issues (already problematic by themselves), g.extenion 
throws an python error because it cannot find the grass_logo.png file.

Just tell me if I should go elsewhere with this bug.

Moritz