Ticket #5481 (closed defect: fixed)
[with patch, positive review] devel/doc/output/* should be filtered from the list of files to doctest
| Reported by: | mabshoff | Owned by: | mhansen |
|---|---|---|---|
| Priority: | critical | Milestone: | sage-4.1 |
| Component: | doctest | Keywords: | |
| Cc: | mhansen | Author(s): | John Palmieri |
| Report Upstream: | Reviewer(s): | Mike Hansen | |
| Merged in: | sage-4.1.alpha3 | Work issues: |
Description
There can be many rst files under devel/doc/output - those should be filtered from the list of files to doctest since they are duplicate doctests from the main Sage library in many cases.
Cheers,
Michael
Attachments
Change History
Note: See
TracTickets for help on using
tickets.

