Opened 6 years ago

Closed 6 years ago

#20321 closed defect (fixed)

Delete empty directories in $SAGE_DOC_SRC

Reported by: jdemeyer Owned by:
Priority: blocker Milestone: sage-7.2
Component: documentation Keywords:
Cc: hivert, fbissey Merged in:
Authors: Jeroen Demeyer Reviewers: François Bissey
Report Upstream: N/A Work issues:
Branch: a6c366b (Commits, GitHub, GitLab) Commit: a6c366b9c8f1bdc137f669b858bbcfacd43ee8d8
Dependencies: Stopgaps:

Status badges


The tickets #20010 and #20030 had a subtle conflict: the directory which should be cleaned is SAGE_DOC_SRC now.

Change History (4)

comment:1 Changed 6 years ago by jdemeyer

  • Branch set to u/jdemeyer/delete_empty_directories_in__sage_doc_src

comment:2 Changed 6 years ago by jdemeyer

  • Commit set to a6c366b9c8f1bdc137f669b858bbcfacd43ee8d8
  • Status changed from new to needs_review

New commits:

a6c366bDelete empty directories in $SAGE_DOC_SRC

comment:3 Changed 6 years ago by fbissey

  • Reviewers set to François Bissey
  • Status changed from needs_review to positive_review

I overlooked that one obviously.

comment:4 Changed 6 years ago by vbraun

  • Branch changed from u/jdemeyer/delete_empty_directories_in__sage_doc_src to a6c366b9c8f1bdc137f669b858bbcfacd43ee8d8
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.