Delete empty directories in $SAGE_DOC_SRC

sagemath · Mar 30, 2016 · a6c366b · a6c366b
1 parent 7f50c6b
commit a6c366b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sage_setup/docbuild/__init__.py b/src/sage_setup/docbuild/__init__.py
@@ -1620,7 +1620,7 @@ def main():
     # Delete empty directories. This is needed in particular for empty
     # directories due to "git checkout" which never deletes empty
     # directories it leaves behind. See Trac #20010.
-    delete_empty_directories(SAGE_DOC)
+    delete_empty_directories(SAGE_DOC_SRC)
 
     # Set up Intersphinx cache
     C = IntersphinxCache()