search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

files in src/doc declared unsafe --> full rebuild for doc changes #22

Closed rwst closed 10 years ago

rwst commented 10 years ago

https://github.com/robertwb/sage-patchbot/blob/master/src/trac.py#L271-279

Reproducible with e.g. --ticket 3624.