# 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/*/_static/*.js *
speedcrunch source: source-contains-prebuilt-javascript-object doc/build_html_embedded/*/_static/*.js *
speedcrunch source: very-long-line-length-in-source-file doc/build_html_embedded/*/_static/*.js *

