[GRASS5] Some strange HTML online output

[Markus Neteler]

Hi,

while looking at the HTML man pages:
http://grass.itc.it/gdp/html_grass5/html/p.map.html
http://grass.itc.it/gdp/html_grass5/html/p.map.new.html

some strange output occurs:
Menu for /gdp/html_grass5/html/p.map.html

          html
[an internal server error occured] 

Obviously these pages are treated as something different
(PHP?). 

Any ideas to solve this? The HTML code is o.k., I think.

Thanks,
 Markus