Skip to content

Remove the Sphinx static CSS copy workaround - #2951

Merged
pvcraven merged 1 commit into
developmentfrom
docs/remove-static-css-workaround
Oct 8, 2026
Merged

pvcraven merged 1 commit into
developmentfrom
docs/remove-static-css-workaround

Conversation

@pvcraven

@pvcraven pvcraven commented Oct 8, 2026

Copy link
Copy Markdown
Member

Summary

Fixes #2266 by removing the workaround for it, now that Sphinx has fixed the bug upstream.

make.py serve and incremental make.py html builds didn't copy changed CSS files from doc/_static, so style changes didn't show until a clean build. The docs had an opt-in workaround: util/sphinx_static_file_temp_fix.py, which ran during every build and acted only if a .ENABLE_DEVMACHINE_SPHINX_STATIC_FIX file existed.

Sphinx fixed this upstream, and pyproject pins Sphinx 9.1.0.

Checked without the workaround

  1. Built the docs, with no .ENABLE_DEVMACHINE_SPHINX_STATIC_FIX file.
  2. Added a marker comment to doc/_static/css/custom.css.
  3. Ran an incremental build (about 4 seconds), which is what make.py serve runs on each change.

The marker reached the built _static/css/custom.css every time: over three rounds of editing, and again after this PR's changes to conf.py.

Removed

  • util/sphinx_static_file_temp_fix.py.
  • Its run_util(...) call and a related "pending" comment in doc/conf.py.
  • The .ENABLE_DEVMACHINE_SPHINX_STATIC_FIX entry in .gitignore.

Not covered

A comment on the issue says example thumbnails don't regenerate when screenshots change. That's separate, and I didn't test it.

Checks

The docs build passes, with the same 8 warnings as on development. The changelog has an entry under Unreleased → Misc Changes.

🤖 Generated with Claude Code

Sphinx's incremental builds didn't copy changed CSS files, so the docs
had an opt-in workaround (util/sphinx_static_file_temp_fix.py, enabled
by a .ENABLE_DEVMACHINE_SPHINX_STATIC_FIX file). Sphinx fixed this
upstream, and the pinned Sphinx 9.1.0 copies changed CSS without it
(#2266).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@pvcraven
pvcraven merged commit 8790af1 into development Oct 8, 2026
7 checks passed
@pvcraven
pvcraven deleted the docs/remove-static-css-workaround branch October 8, 2026 18:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Autobuild does not copy some static file changes

1 participant