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