Hi TP,
2012/6/25 TP :
> On Fri, Jun 22, 2012 at 5:59 AM, Tobias Oberstein
> wrote:
>> Is there a way to add some JS to $(document).ready() for every page
>> generated by Sphinx via configuration (thus avoid patching the generated
>> stuff afterwards)?
>
> You can do this by using the *basic* them
On Fri, Jun 22, 2012 at 5:59 AM, Tobias Oberstein
wrote:
> Is there a way to add some JS to $(document).ready() for every page
> generated by Sphinx via configuration (thus avoid patching the generated
> stuff afterwards)?
You can do this by using the *basic* theme's *extrahead* "block". See
[1]
Is there a way to add some JS to $(document).ready() for every page
generated by Sphinx via configuration (thus avoid patching the generated
stuff afterwards)?
In particular, currently I am patching the generated
_static/doctools.js
for
$(document).ready(function() {
Documentation.i
