[GRASS-dev] compile error on trunk: can't evaluate `gisliblib.dox': No file or directory of this type

[Moritz Lennert]

Generating file member index...
HTML reference in directory ./html/index.html
make[2]: quittant le répertoire « 
/home/mlennert/SRC/GRASS/grass_trunk/lib/g3d »
(cd lib/gis/ ; /usr/bin/make cleandocs ; /usr/bin/make htmldocs)
make[2]: entrant dans le répertoire « 
/home/mlennert/SRC/GRASS/grass_trunk/lib/gis »
rm -rf ./latex ./html
make[2]: quittant le répertoire « 
/home/mlennert/SRC/GRASS/grass_trunk/lib/gis »
make[2]: entrant dans le répertoire « 
/home/mlennert/SRC/GRASS/grass_trunk/lib/gis »
rm -rf ./latex ./html
mv: ne peut évaluer `gisliblib.dox': Aucun fichier ou répertoire de ce type
make[2]: *** [htmldocs] Erreur 1
make[2]: quittant le répertoire « 
/home/mlennert/SRC/GRASS/grass_trunk/lib/gis »
make[1]: *** [htmldocs] Erreur 2

Any ideas ?

Moritz