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