diff options
| author | Ezio Melotti <ezio.melotti@gmail.com> | 2012-02-25 17:24:24 (GMT) |
|---|---|---|
| committer | Ezio Melotti <ezio.melotti@gmail.com> | 2012-02-25 17:24:24 (GMT) |
| commit | 4342722f4050b6d48fd786d1df1d69c2d5af919c (patch) | |
| tree | 6efd6639e01c41fe6d562d50f1745de8cbb53bac /Doc/tools/sphinxext | |
| parent | 2e0a0e1640e89bec7da985534411c464d3d30df2 (diff) | |
| download | cpython-4342722f4050b6d48fd786d1df1d69c2d5af919c.zip cpython-4342722f4050b6d48fd786d1df1d69c2d5af919c.tar.gz cpython-4342722f4050b6d48fd786d1df1d69c2d5af919c.tar.bz2 | |
#14114: don't include copybutton.js in the htmlhelp output.
Diffstat (limited to 'Doc/tools/sphinxext')
| -rw-r--r-- | Doc/tools/sphinxext/layout.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/tools/sphinxext/layout.html b/Doc/tools/sphinxext/layout.html index 8659ef0..d4bb105 100644 --- a/Doc/tools/sphinxext/layout.html +++ b/Doc/tools/sphinxext/layout.html @@ -6,7 +6,7 @@ {% endblock %} {% block extrahead %} <link rel="shortcut icon" type="image/png" href="{{ pathto('_static/py.png', 1) }}" /> - <script type="text/javascript" src="{{ pathto('_static/copybutton.js', 1) }}"></script> + {% if not embedded %}<script type="text/javascript" src="{{ pathto('_static/copybutton.js', 1) }}"></script>{% endif %} {{ super() }} {% endblock %} {% block footer %} |