#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>
_______________________________________________
grass-dev mailing list
[email protected]
http://lists.osgeo.org/mailman/listinfo/grass-dev
