id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,cpu,platform 151,make documentation be full text searchable: use sphinx,timmie,epatton,"The current HTML documentation consists of different HTML formated man pages linked together which offers good help for the experienced user. But an advantage would be to have a full text search on the documentation: Use case: A user wants to remove a mapset or georeference a file but tdoesn't know which commands to use. Good example for a full text searchable documentation: http://docs.python.org/dev/ ",enhancement,assigned,major,7.8.3,Docs,unspecified,,"JavaScript, Sphinx, Website",grass-dev@… timmie,Unspecified,Unspecified