Julien Palard <julien+pyt...@palard.fr> added the comment:
This is interesting!
Also notice the footer: Last updated on Jul 26, 2020.
I checked on the docsbuild server and found the `symbol.html` file was marked
as modified today (probably by the build cron) (and it contains the "Last
updated on Jul 26, 2020" string, yes).
I think the explanation may be that Sphinx does not remove a file from the html
output when it's rst counterpart is removed (which may be legitimate, Sphinx
can't guess the rst was there before, so it can't distinguish if it's a human
generated file that should be kept, or an old file to delete).
There's however no links pointing to it (apart when switching version from 3.9
to 3.10 using the version switcher).
I'm removing the files manually as is:
docsbuild@docs:/srv/docsbuild/3.10$ rm
cpython-*/Doc/build/html/library/symbol.html
I'll let the daily cron update docs.python.org (to ensure it does the job).
----------
_______________________________________
Python tracker <rep...@bugs.python.org>
<https://bugs.python.org/issue44006>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
