From: Tom Rini Date: Tue, 25 Feb 2020 14:06:50 +0000 (-0500) Subject: Merge branch '2020-02-24-ci-htmldocs' X-Git-Url: http://git.dujemihanovic.xyz/?a=commitdiff_plain;h=c2358258c2ed3e964138eb7b66dbef5d6ef232ae;p=u-boot.git Merge branch '2020-02-24-ci-htmldocs' - Update our CI loops to run 'make htmldocs' and stop on errors --- c2358258c2ed3e964138eb7b66dbef5d6ef232ae