Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Delete empty directories in $SAGE_DOC_SRC #20321

Closed
jdemeyer opened this issue Mar 30, 2016 · 6 comments
Closed

Delete empty directories in $SAGE_DOC_SRC #20321

jdemeyer opened this issue Mar 30, 2016 · 6 comments
Labels
c: documentation p: blocker / 1 t: bug
Milestone
sage-7.2

Comments

@jdemeyer
Copy link

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

CC: @hivert @kiwifb

Component: documentation

Author: Jeroen Demeyer

Branch/Commit: a6c366b

Reviewer: François Bissey

Issue created by migration from https://trac.sagemath.org/ticket/20321
@jdemeyer jdemeyer added this to the sage-7.2 milestone Mar 30, 2016
@jdemeyer
Copy link
Author

Branch: u/jdemeyer/delete_empty_directories_in__sage_doc_src

@jdemeyer
Copy link
Author

New commits:

a6c366bDelete empty directories in $SAGE_DOC_SRC

@jdemeyer
Copy link
Author

Commit: a6c366b

@kiwifb
Copy link
Member

kiwifb commented Mar 30, 2016

Reviewer: François Bissey

@kiwifb
Copy link
Member

kiwifb commented Mar 30, 2016

comment:3

I overlooked that one obviously.

@vbraun
Copy link
Member

vbraun commented Mar 31, 2016

Changed branch from u/jdemeyer/delete_empty_directories_in__sage_doc_src to a6c366b

@vbraun vbraun closed this as completed in 35e9067 Mar 31, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: documentation p: blocker / 1 t: bug
Projects
None yet
Milestone
sage-7.2
Development

No branches or pull requests
3 participants
@kiwifb @vbraun @jdemeyer