Ticket #13245: trac_13245-clone-nodocbuild.patch

File trac_13245-clone-nodocbuild.patch, 2.2 KB (added by jhpalmieri, 6 years ago)
  • sage-clone

    # HG changeset patch
    # User J. H. Palmieri <palmieri@math.washington.edu>
    # Date 1363024384 25200
    # Node ID 03e3765afbf86b7e9716496c6daf467fb34cfec1
    # Parent  f9bb917e591b210b0013a6dc409c1bf4ed4ce227
    Don't rebuild docs after cloning.
    
    diff --git a/sage-clone b/sage-clone
    a b  
    105105""")
    106106HGRC.close()
    107107
    108 try:
    109     index = open(os.path.join(SAGE_ROOT, "devel/sage/doc/output/html/en/reference/index.html"))
    110     if index.read().find("mathjax") != -1:
    111         mathjax = " --mathjax"
    112     else:
    113         mathjax = ""
    114     print ""
    115     print "After cloning, if you change any Sage library files and want to rebuild"
    116     print "the html version of the reference manual, use the command"
    117     print "    sage -docbuild%s reference html" % mathjax
    118     print "(after running 'sage -b')."
    119     print ""
    120     print "Note: if *before* cloning, you have changed any Sage library files"
    121     print "without rebuilding the reference manual, then after cloning, you"
    122     print "will need to touch those files again if you want the changes"
    123     print "to be incorporated into the reference manual."
    124     print ""
    125     print "Updating modification times for the documentation..."
    126     cmd = 'sage -docbuild%s --update-mtimes reference html' % mathjax
    127     print cmd
    128     proc = subprocess.Popen([cmd], shell=True)
    129     if proc.wait():
    130         print ""
    131         print "Warning: Error updating modification times. (The clone will"
    132         print "work fine, but building the reference manual may take longer"
    133         print "than it should.)"
    134         print ""
    135 except IOError:
    136     pass
     108print """
     109*** WARNING ***
     110If *before* cloning, you changed any Sage library files without
     111rebuilding the reference manual, then after cloning, you will
     112need to touch those files again if you want the changes to be
     113incorporated into the reference manual.
    137114
    138 print "*** WARNING ***"
    139 print "If you are cloning a previous revision or have uncommitted changes to"
    140 print "cython files do "
    141 print "    sage -ba"
    142 print "Otherwise Sage might build using the wrong .c files !!"
     115*** WARNING ***
     116If you are cloning a previous revision or have uncommitted
     117changes to cython files, do
    143118
     119    sage -ba
     120
     121Otherwise Sage might build using the wrong .c files!"""