[RTEMS Project] #3880: Update sphinx_rtd_theme to 68a19ca / 0.4.3.dev0.

[RTEMS trac]

#3880: Update sphinx_rtd_theme to 68a19ca / 0.4.3.dev0.
----------------------------+-----------------------------------
 Reporter:  Amar Takhar     |       Owner:  Amar Takhar <amar@…>
     Type:  defect          |      Status:  closed
 Priority:  normal          |   Milestone:
Component:  doc             |     Version:
 Severity:  normal          |  Resolution:  fixed
 Keywords:  sphinx, search  |  Blocked By:
 Blocking:                  |
----------------------------+-----------------------------------
Changes (by Amar Takhar <amar@…>):

 * owner:  (none) => Amar Takhar <amar@…>
 * status:  assigned => closed
 * resolution:   => fixed


Comment:

 In [changeset:"98451835274168ccfeb04b82d6e65dfebcec8fb6/rtems-docs"
 9845183/rtems-docs]:
 {{{
 #!CommitTicketReference repository="rtems-docs"
 revision="98451835274168ccfeb04b82d6e65dfebcec8fb6"
 Update sphinx_rtd_theme to
 https://github.com/readthedocs/sphinx_rtd_theme/
 68a19ca / 0.4.3.dev0. I have been using this one for a while without
 issues.

 This should fix the search issues.

 closes #3880
 }}}

--
Ticket URL: <http://devel.rtems.org/ticket/3880#comment:2>
RTEMS Project <http://www.rtems.org/>
RTEMS Project