diff options
Diffstat (limited to 'debian/patches/remove-html5shiv.patch')
-rw-r--r-- | debian/patches/remove-html5shiv.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/remove-html5shiv.patch b/debian/patches/remove-html5shiv.patch new file mode 100644 index 0000000..f9d0ace --- /dev/null +++ b/debian/patches/remove-html5shiv.patch @@ -0,0 +1,22 @@ +From: Dmitry Shachnev <mitya57@debian.org> +Date: Wed, 16 Dec 2020 20:50:55 +0300 +Subject: Remove html5shiv dependency + +--- + sphinx_rtd_theme/layout.html | 3 --- + 1 file changed, 3 deletions(-) + +diff --git a/sphinx_rtd_theme/layout.html b/sphinx_rtd_theme/layout.html +index c8a3076..cfa84a2 100644 +--- a/sphinx_rtd_theme/layout.html ++++ b/sphinx_rtd_theme/layout.html +@@ -62,9 +62,6 @@ + + {#- JAVASCRIPTS #} + {%- block scripts %} +- <!--[if lt IE 9]> +- <script src="{{ pathto('_static/js/html5shiv.min.js', 1) }}"></script> +- <![endif]--> + {%- if not embedded %} + {# XXX Sphinx 1.8.0 made this an external js-file, quick fix until we refactor the template to inherert more blocks directly from sphinx #} + {%- if sphinx_version_info >= (1, 8) -%} |