[GRASS5] [bug #3174] (grass) make htmldocs fails

[Request Tracker]

this bug's URL: http://intevation.de/rt/webrt?serial_num=3174
-------------------------------------------------------------------------

Subject: make htmldocs fails

Platform: GNU/Linux/i386
grass obtained from: CVS
grass binary for platform: Compiled from Sources
GRASS Version: 6.1.cvs (2005)

Hello,

trying to generate programmer's documentation in HTML ...

...
Read 190403 bytes
Parsing input...
Parsing file /usr/src/gis/grass/grass6/lib/db/dbmi.dox...
Parsing file /usr/src/gis/grass/grass6/lib/db/dbmi_base/alloc.c...
Parsing file /usr/src/gis/grass/grass6/lib/db/dbmi_base/case.c...
Parsing file /usr/src/gis/grass/grass6/lib/db/dbmi_base/column.c...
Parsing file /usr/src/gis/grass/grass6/lib/db/dbmi_base/columnfmt.c...
make[1]: *** [htmldocs] Segmentation fault
make[1]: Leaving directory `/usr/src/gis/grass/grass6/lib/db'
make: *** [htmldocs] Error 2



-------------------------------------------- Managed by Request Tracker