/debian/patches/

• ../
• disable_js_version_check.diff
• highlight_search_terms.diff
• intersphinx_local.diff
• move_sphinxcontrib_to_extras_require.diff
• no_external_css.diff
• pygments_2.14.diff
• remove_contrib_references.diff
• series
• skip_tests_jsmath.diff
• skip_tests_network.diff
• skip_tests_serializinghtml.diff
• support_old_search_indexes.diff
• use_packaged_mathjax.diff