# These are the minified JS files added by Sphinx to the prebuilt copy of the
# manual shipped in the repository and source tarball. Not only is this
# prebuilt copy not used by the Debian package, un-minified copies of these
# files are included in the same directory as jquery-$VERSION.js and
# underscore-$VERSION.js, right next to the minified versions.
speedcrunch source: source-is-missing doc/build_html_embedded/de_DE/_static/jquery.js *
speedcrunch source: source-is-missing doc/build_html_embedded/de_DE/_static/underscore.js *
speedcrunch source: source-is-missing doc/build_html_embedded/en_US/_static/jquery.js *
speedcrunch source: source-is-missing doc/build_html_embedded/en_US/_static/underscore.js *
speedcrunch source: source-is-missing doc/build_html_embedded/es_ES/_static/jquery.js *
speedcrunch source: source-is-missing doc/build_html_embedded/es_ES/_static/underscore.js *
speedcrunch source: source-is-missing doc/build_html_embedded/fr_FR/_static/jquery.js *
speedcrunch source: source-is-missing doc/build_html_embedded/fr_FR/_static/underscore.js *
