[GRASS-dev] Addons manuals: logo and CSS file missing

[Markus Neteler]

Hi Martin,

since the switch to use G76 as the basis for the addon manual pages,
the two files
grassdocs.css
grass_logo.png
are no longer put onto the server.

I suspect that they are not picked up on the build server:

grass-addons/tools/addons/grass-addons-build.sh" line 38 of 59
    cp ${SRC}/grass${1}${2}_release/${DIST}/docs/html/grassdocs.css $HTMLDIR/
    cp ${SRC}/grass${1}${2}_release/${DIST}/docs/html/grass_logo.png $HTMLDIR/

Could you please verify?

thanks
Markus