diff --git a/docs/conf.py b/docs/conf.py index f569f5bdc..cd62f6227 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -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')