sphinx-copybutton icon indicating copy to clipboard operation
sphinx-copybutton copied to clipboard
verified publisher icon executablebooks

copybutton.js: remove DOCUMENTATION_OPTIONS dead code

Open gastmaier opened this issue 5 months ago • 0 comments

Supposedly used for doc_url_root, but also dead code. Why I care? In my use case I remove DOCUMENTATION_OPTIONS from the built pages.

gastmaier avatar Jul 15 '25 10:07 gastmaier