[GRASS-dev] Re: [GRASS GIS] #151: make documentation be full text searchable: use sphinx

[GRASS GIS]

#151: make documentation be full text searchable: use sphinx
--------------------------+-------------------------------------------------
  Reporter:  timmie       |       Owner:  epatton    
      Type:  enhancement  |      Status:  assigned   
  Priority:  major        |   Milestone:  7.0.0      
 Component:  Website      |     Version:  unspecified
Resolution:               |    Keywords:             
  Platform:  Unspecified  |         Cpu:  Unspecified
--------------------------+-------------------------------------------------
Comment (by neteler):

 Here the procedure:

 {{{
 cd dist.x86_64-unknown-linux-gnu/docs/html/

 # convert HTML to rEST:
 mkdir rst
 cd rst
 for i in ../*.html ; do echo "$i:"; html2rest.py < $i > `basename $i
 .html`.rst ; done

 sphinx-quickstart

 # to avoid name conflict or define better in sphinx-quickstart:
 mv index.rst oldindex.rst
 mv *.rst source/

 # convert with sphinx
 make html
 }}}

 The resulting Sphinx-HTML manual is stored in the build/ directory.

 Markus

 PS: once the Wiki is back this should go there

-- 
Ticket URL: <http://trac.osgeo.org/grass/ticket/151#comment:7>
GRASS GIS <http://grass.osgeo.org>