Ticket #4442 (closed defect: fixed)

Opened 22 months ago

Last modified 22 months ago

[with patch, positive review] fix documetation build issue with congroup.py

Reported by: GeorgSWeber Owned by: GeorgSWeber
Priority: critical Milestone: sage-3.2
Component: documentation Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description

Splitted away from #4370, the patch is identical and was just renamed.

The documentation does not build (at least on my install) without that fix.

Attachments

4442-4370-sage_library.patch Download (2.0 KB) - added by GeorgSWeber 22 months ago.
taken over from #4370 and just renamed

Change History

Changed 22 months ago by GeorgSWeber

  • status changed from new to assigned

Changed 22 months ago by GeorgSWeber

taken over from #4370 and just renamed

Changed 22 months ago by mabshoff

  • summary changed from [with patch, needs review] fix documetation build issue with congroup.py to [with patch, positive review] fix documetation build issue with congroup.py

Positive review.

Please make sure not to add *spaces* to the end of patch file names!

Cheers,

Michael

Changed 22 months ago by mabshoff

  • status changed from assigned to closed
  • resolution set to fixed

Merged in Sage 3.2.alpha3

Note: See TracTickets for help on using tickets.