Changes between Initial Version and Version 3 of Ticket #23803


Ignore:
Timestamp:
09/08/17 10:16:43 (5 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23803

    • Property Authors changed from to Jeroen Demeyer
    • Property Component changed from build to packages: standard
    • Property Summary changed from Rebuild doc when Sphinx is reinstalled to Allow graceful Sphinx upgrades
  • Ticket #23803 – Description

    initial v3  
    1 The upgrade to Sphinx-1.6.3 broke docbuilding if `make doc-clean` was not done. We propose to automatically delete documentation in the docbuilder if Sphinx was reinstalled.
     1The upgrade to Sphinx-1.6.3 broke docbuilding if `make doc-clean` was not done. This is because the "environment pickle" from the old Sphinx failed to unpickle with the new Sphinx. This pickle is not so important, we can just ignore this error and continue.
     2
     3'''Upstream''': https://github.com/sphinx-doc/sphinx/pull/4048