Hi Niteesh, I have pushed the upgrade to the latest version of the theme.
Can you confirm this fixes the search box for you?
Thank you!
Amar.
___
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel
Hi Niteesh, I updated it and created a patch for this here:
https://devel.rtems.org/ticket/3880/
It does fix the issue once it's approved I will push the changes. Thank you
for
highlighting this issue!
Amar.
___
devel mailing list
devel@rtems.org
Hii
On Sun, 23 Feb, 2020, 2:07 AM Chris Johns, wrote:
> Hi
>
> How did you test this patch?
>
As I already told the search field works without this patch in sphinx
versions newer
than v1.6.4. This is a bug with all version of sphinx between v1.6.4 and
v.1.5.0
So to reproduce this bug in my loca
Hi
How did you test this patch?
I have applied the patch, cleaned, built and installed the built docs, opened
the User manual and searched for "Windows" and it found nothing. I am not sure
if this is my set up, I am in another country to the machine with the docs. It
could be something else.
Tha
We could also fix this issue by updating sphinx to a newer version.
But this patch will not break anything even if updated to the newer version.
On Sat, Feb 22, 2020 at 5:35 PM G S Niteesh Babu
wrote:
> This patch fixes the search field which previously was not working
> due to this commit 71dd
This patch fixes the search field which previously was not working
due to this commit 71dd8bfbf94417ad55b2444e1dbd219db266f335 in
sphinx.
---
common/sphinx_rtd_theme_rtems/layout.html | 3 ++-
common/sphinx_rtd_theme_rtems/layout_old.html | 3 ++-
2 files changed, 4 insertions(+), 2 deletions(
