#13245: sage --clone: do not rebuild the entire Sage library, and do not rebuild
the docs
-------------------------------------------------+--------------------------
       Reporter:  jhpalmieri                     |         Owner:  leif         
           Type:  defect                         |        Status:  needs_review 
       Priority:  blocker                        |     Milestone:  sage-5.10    
      Component:  scripts                        |    Resolution:               
       Keywords:                                 |   Work issues:               
Report Upstream:  N/A                            |     Reviewers:  John Palmieri
        Authors:  John Palmieri, Leif Leonhardy  |     Merged in:               
   Dependencies:                                 |      Stopgaps:               
-------------------------------------------------+--------------------------

Comment (by leif):

 Hmmm, did some testing, and it seems copying over any already built
 documentation doesn't make sense (or doesn't work as expected at least).

 I've made sure that the documentation (and the Sage library) is up-to-
 date, but if I run `sage --docbuild reference html` afterwards in a fresh
 clone, apparently ''everything'' (of the reference manual) gets rebuilt.

 It says
 {{{
 [foo] building [html]: targets for N source files that are out of date
 [foo] updating environment: 0 added, N changed, 0 removed
 ...
 }}}
 for all components AFAICS.

 (This is with 5.10.rc0.)

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13245#comment:23>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to