Re: [sage-devel] make ptestlong doesn't run the test when there are docbuild errors

2015-12-02 Thread Jeroen Demeyer
On 2015-12-02 11:40, Sébastien Labbé wrote: Would it be possible that make ptestlong run the tests even if the documentation fails to build because of "spurious" errors? The fact that "make ptestlong" builds the documentation is a *feature*, not a bug. You will get doctest errors if the docume

[sage-devel] make ptestlong doesn't run the test when there are docbuild errors

2015-12-02 Thread Sébastien Labbé
Would it be possible that make ptestlong run the tests even if the documentation fails to build because of "spurious" errors? $ make ptestlong [structure] reading sources... [ 34%] sage/sets/set_from_iterator Error building the documentation. Note: incremental documentation builds someti