summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorTom Rini <trini@konsulko.com>2020-02-25 09:06:50 -0500
committerTom Rini <trini@konsulko.com>2020-02-25 09:06:50 -0500
commitc2358258c2ed3e964138eb7b66dbef5d6ef232ae (patch)
treefd6d2d5270bcc2df0736987aea4c8e73782735c6 /tools
parent8e51bf746a11d7f67416859da73a83109af4e0a3 (diff)
parentf3957b69fd1d691c0129d3dd3283169056d3c928 (diff)
Merge branch '2020-02-24-ci-htmldocs'
- Update our CI loops to run 'make htmldocs' and stop on errors
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions