Ticket #13245 (needs_review enhancement)
sage --clone: give option to not rebuild the docs
|Reported by:||jhpalmieri||Owned by:||leif|
|Cc:||nthiery, saliola, leif, hivert||Work issues:|
|Authors:||John Palmieri||Merged in:|
Description (last modified by jhpalmieri) (diff)
With the attached patch, passing the argument -N to sage -clone says not to rebuild the reference manual. The patch also uses the option during the clone in the sage-combinat script: there are usually so many patches applied in the queue, it would make more sense to build the manual after applying the patches, not before.