diff options
author | Tom Rini <trini@konsulko.com> | 2020-02-25 09:06:50 -0500 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2020-02-25 09:06:50 -0500 |
commit | c2358258c2ed3e964138eb7b66dbef5d6ef232ae (patch) | |
tree | fd6d2d5270bcc2df0736987aea4c8e73782735c6 /tools | |
parent | 8e51bf746a11d7f67416859da73a83109af4e0a3 (diff) | |
parent | f3957b69fd1d691c0129d3dd3283169056d3c928 (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