This commit is contained in:
Hugo 2018-12-26 13:48:55 +02:00 committed by GitHub
parent a43b8bac1e
commit 7beecb9f33
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -287,5 +287,6 @@ texinfo_documents = [
# If true, do not generate a @detailmenu in the "Top" node's menu.
# texinfo_no_detailmenu = False
def setup(app):
app.add_javascript('js/script.js')