id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,cpu,platform 1587,GRASS 7 manual: index.html not generated any more,neteler,grass-dev@…,"Due to some change the index.html is no longer generated. Hence also the online manual is no longer easily accessible.",defect,closed,critical,7.0.0,Docs,svn-trunk,fixed,,,Unspecified,Unspecified