[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2022-04-05 Thread Julien Palard
Julien Palard added the comment: This is resolved since https://github.com/python/docsbuild-scripts/pull/28. It could still happen in very specific conditions, but not for a long time, see: https://github.com/python/docs-community/issues/41#issuecomment-1088462199= -- nosy: +mdk reso

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2019-04-27 Thread Mark Lawrence
Change by Mark Lawrence : -- nosy: -BreamoreBoy ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe: https://mail

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2014-07-14 Thread Brandon Rhodes
Brandon Rhodes added the comment: Now that I am back at a full keyboard, I see that my previous response to @BreamoreBoy about this issue is too short and too cryptic to really serve as a fair answer to his question. And, with some embarrassment, I note that my words did not even achieve the dig

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2014-07-11 Thread Audrey Roy
Audrey Roy added the comment: Mark, I and a number of others simply misinterpreted the text in that section. -- ___ Python tracker ___ ___

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2014-07-11 Thread Brandon Rhodes
Brandon Rhodes added the comment: I do not find it unreasonable, on a page of Python idioms, the we would call an example that explicitly says "Don't" in its title an "anti-idiom." -- ___ Python tracker __

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2014-07-11 Thread Mark Lawrence
Mark Lawrence added the comment: The docs state 'from module import name1, name2. - This is a “don’t” which is much weaker than the previous “don’t”s but is still something you should not do if you don’t have good reasons to do that.' How does that translate into 'The Python docs say that "fr

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2014-07-11 Thread Audrey Roy
Audrey Roy added the comment: > Since it isn't linked from the 3.4 index, it may be more effort than > it is worth to get someone to delete the file from the 3.4 tree on the > server. It would be worthwhile to delete or fix it in the 2.7 and 3.4 tree. It accidentally gets linked, still causing

[issue21956] Doc files deleted from repo are not deleted from docs.python.org.

2014-07-11 Thread R. David Murray
R. David Murray added the comment: The file no longer exists in the 3.5 tree on the server. Since it isn't linked from the 3.4 index, it may be more effort than it is worth to get someone to delete the file from the 3.4 tree on the server. On the other hand, fixing the publication process to