Skip to content

Conversation

@hugovk
Copy link
Member

@hugovkhugovk commented Dec 30, 2025

Merging #1708 broke make html:

Run make html make: *** No rule to make target 'html'. Stop. 

https://github.com/python/devguide/actions/runs/20598038153/job/59156872074

I'm not sure why that PR passed: https://github.com/python/devguide/actions/runs/19898283190/job/57034529183?pr=1708

Anyway, here's a fix: update the other paths to point to the new SVGs location.

@read-the-docs-community
Copy link

Documentation build overview

📚 CPython devguide | 🛠️ Build #30840594 | 📁 Comparing 48d72da against latest (e583bd3)


🔍 Preview build

Show files changed (2 files in total): 📝 2 modified | ➕ 0 added | ➖ 0 deleted
FileStatus
genindex/index.html📝 modified
versions/index.html📝 modified

@hugovkhugovk merged commit 521dace into python:mainDec 30, 2025
5 checks passed
@hugovkhugovk deleted the fix-makefile branch December 30, 2025 14:45
Sign up for freeto 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.

2 participants

@hugovk@StanFromIreland