Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove deleted pages when updating online HTML #10

Closed
Mariatta opened this issue Feb 15, 2017 · 3 comments
Closed

Remove deleted pages when updating online HTML #10

Mariatta opened this issue Feb 15, 2017 · 3 comments

Comments

@Mariatta
Copy link
Member

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.
@JulienPalard
Copy link
Member

I took a rapid look, current script uses a cp -a, using an rsync -a --delete-delay would correctly old files.

@JulienPalard JulienPalard mentioned this issue Aug 11, 2017
Merged
@JulienPalard
Copy link
Member

Merged this a few hours ago, it should no longer happen.

logs from docs.iad1.psf.io:

[…]
DEBUG:2017-08-30 15:07:58,378:Running command 'rsync -a --delete-delay /srv/docsbuild/devguide/build/html/ /srv/docs.python.org/devguide'
[…]

@Mariatta
Copy link
Member Author

Yay! Thanks @JulienPalard 🌮

@hugovk hugovk mentioned this issue Feb 10, 2022
Closed
@hugovk hugovk mentioned this issue Apr 5, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JulienPalard @Mariatta