Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upRemove deleted pages when updating online HTML #10
Comments
|
I took a rapid look, current script uses a |
|
Merged this a few hours ago, it should no longer happen. logs from
|
|
Yay! Thanks @JulienPalard |
Based on discussions in: python/devguide#114
Seems like docsbuild script doesn't remove html for docs that have been deleted.
Thanks @ned-deily and @zware for pointing me this way.