[DebianGIS] GRASS: wrong directory settings in g.manual

[Moritz Lennert <mlennert@club.worldonline.be>]

Hi,

This is probably a specific debian problem, but sending it to the 
grass-dev list as well, just in case.

g.manual fails on debian since the directory settings are wrong.

In g.manual there is

GRASS_DOC_BASE="$GISBASE"

and html and man pages are looked for under:

$GRASS_DOC_BASE"/docs/html/$1.html
and
$GRASS_DOC_BASE"/man/man1/$1.1

However, in debian/grass-doc.install there are the following lines, 
installing the docs into more LFS-compliant (I assume) directories:

usr/lib/grass/docs/html usr/share/doc/grass-doc
usr/lib/grass/man/man1 usr/share/man

Thus g.manual fails.

So, should this be changed directly in the GRASS tree, or is this a 
debian patch issue ?

Moritz