I get examples/tutorial_coq_elpi_command.v:77: (ERROR/3) ... but it still exists with 0, so I can't easily detect in a makefile if the doc contains errors.

Is there a way? I could not find a flag for controlling this.