[docs] [issue21956] Doc files deleted from repo are not deleted from docs.python.org.
R. David Murray
report at bugs.python.org
Fri Jul 11 17:21:13 CEST 2014
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 delete files is something the doc team should probably tackle (note: it might be a sphinx issue, but as Brandon says is more likely an issue with the script that publishes the pages to the server).
As for revising the howto and re-adding it, that is a separate issue and should be discussed on the original issue 7391, where the possibility was already raised and got some support.
title: Deleted document should not appear in 3.4 docs -> Doc files deleted from repo are not deleted from docs.python.org.
versions: +Python 2.7, Python 3.5
Python tracker <report at bugs.python.org>
More information about the docs