diff options
Diffstat (limited to 'docs/conf.py')
| -rw-r--r-- | docs/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/conf.py b/docs/conf.py index 90d52e4d..a4d35fbb 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -320,5 +320,6 @@ texinfo_documents = [ def setup(app): app.add_js_file('custom.js') + app.add_js_file('copy.js') if app.config.language == 'ja': app.config.intersphinx_mapping['py'] = ('https://docs.python.org/ja/3', None) |