#20010: Delete empty directories in $SAGE_DOC
-------------------------------------+-------------------------------------
       Reporter:  jdemeyer           |        Owner:
           Type:  defect             |       Status:  needs_review
       Priority:  blocker            |    Milestone:  sage-7.1
      Component:  build              |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Jeroen Demeyer     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jdemeyer/delete_empty_directories_in__sage_doc|  
cabdf45dcc77c8732a13cf325a1c42293d10daae
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by jdemeyer):

 * dependencies:  #19127 =>


Old description:

> In #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:
>
> 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.

New description:

 In #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:

 it 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.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/20010#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to