search

sagemath / sage-patchbot

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

--skip-doc-clean option #124

Closed fchapoton closed 6 years ago

fchapoton commented 6 years ago

introduce an option to skip cleaning the doc