DOC Add permalink icons to glossary terms
@@ -282,6 +282,7 @@ issues_user_uri = 'https://github.com/{user}'
def setup(app):
# to hide/show the prompt in code examples:
app.add_javascript('js/copybutton.js')
+ app.add_javascript('js/extra.js')
app.connect('build-finished', make_carousel_thumbs)
