[petsc-dev] is make alldoc tested?

[Smith, Barry F.]

  We should still be doing the testing now


> On Feb 4, 2020, at 2:46 PM, Jed Brown <jed at jedbrown.org> wrote:
> 
> Moving toward Sphinx (as Patrick has been working on) will help reduce
> the number of stages and improve identification and reporting of
> diagnostics/errors.
> 
> Satish Balay via petsc-dev <petsc-dev at mcs.anl.gov> writes:
> 
>> Don't know how we'll monitor scheduled tests. Unless there is an error in CI - issues that come up will be ignored as before.
>> 
>> perhaps we can add a smaller (subset of) doc build in CI.
>> 
>> Currently we have 20 odd stages in doc build targets - and errors in each stage are ignored. So will have to fix them to stop on error [in the subset of targets we build in CI]
>> 
>> And all doc-only changes would have to be run through this CI test - before merge..