Makefiles aren't really good at conditionals like that, but the patchbot should certainly do it. The Sage buildbot always does a doc-clean before building the docs.
On Wednesday, September 17, 2014 10:35:41 AM UTC+1, Jakob Kroeker wrote: > > Sometimes the build of the documentation fails with > > Error building the documentation. > > Note: incremental documentation builds sometimes cause spurious > error messages. To be certain that these are real errors, run > "make doc-clean" first and try again. > > Now I'm questioning if it is a good idea to doc-clean and auto-rebuild > the documentation *once* by default in case of an error; > at least by the patchbot. If the error persists, do not try that again. > For the final decision on this question it should be considered that too > much complexity or intelligence may cause more harm than good. > > Any opinions or other thoughts? > > > > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.