Juan Carrano ae4cecd14c tools/doccheck: Detect when make doc fails to run. ...

The previous doccheck would give a false negative when doxygen does
not even run (for example, because of misconfiguration).

Also, when doxygen fails to run, print the full output.

2018-11-22 16:51:07 +01:00

..

check.sh

tools/doccheck: Detect when make doc fails to run.

2018-11-22 16:51:07 +01:00