Changes between Initial Version and Version 3 of Ticket #23803
- Timestamp:
- 09/08/17 10:16:43 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #23803
-
Property
Authors
changed from
to
Jeroen Demeyer
-
Property
Component
changed from
build
topackages: standard
-
Property
Summary
changed from
Rebuild doc when Sphinx is reinstalled
toAllow graceful Sphinx upgrades
-
Property
Authors
changed from
-
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. 1 The 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