Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | github: build documentation in CI test | Thomas Haller | 2022-04-15 | 1 | -1/+3 |
* | tools: fix aborting on failure in "tools/build_release.sh" script | Thomas Haller | 2022-04-15 | 1 | -2/+2 |
* | tools: fix building doc in build_release.sh | Thomas Haller | 2017-05-03 | 1 | -0/+4 |
* | build: add tools/build_release.sh script | Thomas Haller | 2017-02-28 | 1 | -0/+82 |