diff --git a/configure.ac b/configure.ac index 84463162..446a1faf 100644 --- a/configure.ac +++ b/configure.ac @@ -403,7 +403,6 @@ AC_CONFIG_FILES([ doc/_themes/sphinx_rtd_theme/Makefile doc/_themes/sphinx_rtd_theme/static/Makefile doc/_themes/sphinx_rtd_theme/static/css/Makefile - doc/_themes/sphinx_rtd_theme/static/font/Makefile doc/_themes/sphinx_rtd_theme/static/fonts/Makefile doc/_themes/sphinx_rtd_theme/static/js/Makefile ]) diff --git a/doc/_themes/sphinx_rtd_theme/static/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/Makefile.am index 8d666242..3dbe7542 100644 --- a/doc/_themes/sphinx_rtd_theme/static/Makefile.am +++ b/doc/_themes/sphinx_rtd_theme/static/Makefile.am @@ -1 +1 @@ -SUBDIRS = css font fonts js +SUBDIRS = css fonts js diff --git a/doc/_themes/sphinx_rtd_theme/static/font/Makefile.am b/doc/_themes/sphinx_rtd_theme/static/font/Makefile.am deleted file mode 100644 index fdcf899f..00000000 --- a/doc/_themes/sphinx_rtd_theme/static/font/Makefile.am +++ /dev/null @@ -1,2 +0,0 @@ -EXTRA_DIST = fontawesome_webfont.eot fontawesome_webfont.svg \ -fontawesome_webfont.ttf fontawesome_webfont.woff diff --git a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.eot b/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.eot deleted file mode 100755 index 0662cb96..00000000 Binary files a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.eot and /dev/null differ diff --git a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.svg b/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.svg deleted file mode 100755 index 2edb4ec3..00000000 --- a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.svg +++ /dev/null @@ -1,399 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ No newline at end of file diff --git a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.ttf b/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.ttf deleted file mode 100755 index d3659246..00000000 Binary files a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.ttf and /dev/null differ diff --git a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.woff b/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.woff deleted file mode 100755 index b9bd17e1..00000000 Binary files a/doc/_themes/sphinx_rtd_theme/static/font/fontawesome_webfont.woff and /dev/null differ