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

#151: make documentation be full text searchable: use sphinx
--------------------------+-----------------------------------------
  Reporter: timmie | Owner: epatton
      Type: enhancement | Status: assigned
  Priority: major | Milestone: 7.4.0
Component: Docs | Version: unspecified
Resolution: | Keywords: JavaScript, Sphinx, Website
       CPU: Unspecified | Platform: Unspecified
--------------------------+-----------------------------------------

Comment (by neteler):

Replying to [comment:45 wenzeslaus]:
> Also, there is Google search on the main website which needs change from
`http://` to `https://` and searches through the website and all
documentation.

Done.

> https://grass.osgeo.org/documentation/search-engine

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/151#comment:46&gt;
GRASS GIS <https://grass.osgeo.org>