Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Add symbolic link SAGE_DOC/output -> SAGE_DOC_OUTPUT
Browse files Browse the repository at this point in the history
  • Loading branch information
jdemeyer committed Feb 2, 2016
1 parent cb2b63f commit a601a8c
Showing 1 changed file with 8 additions and 5 deletions.
13 changes: 8 additions & 5 deletions src/sage_setup/docbuild/__main__.py
Original file line number Diff line number Diff line change
@@ -1,10 +1,13 @@
from . import main
main()

# Remove old documentation output
# Replace old documentation output by symbolic link to SAGE_DOC_OUTPUT
import os
from sage.env import SAGE_DOC
from sage.env import SAGE_DOC, SAGE_DOC_OUTPUT
old_doc = os.path.join(SAGE_DOC, "output")
if os.path.exists(old_doc):
from shutil import rmtree
rmtree(old_doc)

if not os.path.islink(old_doc):
if os.path.exists(old_doc):
from shutil import rmtree
rmtree(old_doc)
os.symlink(SAGE_DOC_OUTPUT, old_doc)

0 comments on commit a601a8c

Please sign in to comment.