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.

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

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

@Mariatta Mariatta commented Feb 15, 2017

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

@JulienPalard JulienPalard commented Aug 10, 2017

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

@JulienPalard
Copy link
Member

@JulienPalard JulienPalard commented Aug 30, 2017

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

@Mariatta Mariatta commented Aug 30, 2017

Yay! Thanks @JulienPalard 🌮

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.