From 98451835274168ccfeb04b82d6e65dfebcec8fb6 Mon Sep 17 00:00:00 2001 From: Amar Takhar Date: Sat, 22 Feb 2020 19:32:07 -0500 Subject: 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 --- .../static/fonts/fontawesome-webfont.svg | 520 --------------------- 1 file changed, 520 deletions(-) delete mode 100644 common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.svg (limited to 'common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.svg') diff --git a/common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.svg b/common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.svg deleted file mode 100644 index d907b25..0000000 --- a/common/sphinx_rtd_theme_rtems/static/fonts/fontawesome-webfont.svg +++ /dev/null @@ -1,520 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file -- cgit v1.2.3