Merge pull request #4533 from radarhere/js

Updated deprecated method
This commit is contained in:
Hugo van Kemenade 2020-04-06 21:04:45 +03:00 committed by GitHub
commit fb41422a3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -289,4 +289,4 @@ texinfo_documents = [
def setup(app):
app.add_javascript("js/script.js")
app.add_js_file("js/script.js")