Ticket #5406 (closed defect: fixed)
[with patch, positive review] Remove the doc repo from Sage
|Reported by:||mabshoff||Owned by:||mabshoff|
Since 3.4.alpha0 the documentation has moved to the main sage repo. So let's get rid of it and save 11 MB in the tarball.
- Summary changed from [with patch, needs review] Remove the doc repo from Sage to [with patch, positive review] Remove the doc repo from Sage