Changes between Initial Version and Version 2 of Ticket #13245


Ignore:
Timestamp:
03/11/13 17:55:39 (6 years ago)
Author:
jhpalmieri
Comment:

Here is a different patch; this one just turns off docbuilding in sage-clone altogether.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #13245

    • Property Status changed from new to needs_review
    • Property Cc leif hivert added
  • Ticket #13245 – Description

    initial v2  
    11With 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.
     2
     3Apply [attachment:trac_13245-clone-nodocbuild.patch].