Changes between Initial Version and Version 4 of Ticket #20010


Ignore:
Timestamp:
02/19/16 12:53:00 (6 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #20010

    • Property Status changed from new to needs_review
    • Property Authors changed from to Jeroen Demeyer
    • Property Branch changed from to u/jdemeyer/delete_empty_directories_in__sage_doc
    • Property Commit changed from to cabdf45dcc77c8732a13cf325a1c42293d10daae
  • Ticket #20010 – Description

    initial v4  
    11In #19127, the automatic deleting of empty directories was removed, because of the mistaken assumption that it was not needed. While it's not needed in all cases, it is needed in one case:
    22
    3 it can happen that `git checkout` leaves behind an empty directory (since it does not track directories), for example `$SAGE_DOC/en/reference/manifolds`. These directories should be deleted, otherwise Sphinx complains.
     3it can happen that `git checkout` leaves behind an empty directory (since it does not track directories), for example `src/doc/en/reference/manifolds`. These directories should be deleted, otherwise Sphinx complains.