diff options
author | Achilleas Pipinellis <axil@gitlab.com> | 2017-09-07 18:43:20 +0300 |
---|---|---|
committer | Rémy Coutable <remy@rymai.me> | 2017-09-07 18:43:20 +0300 |
commit | ecdab9f96f5ab94292b52010618847e88e8573fd (patch) | |
tree | 9b03335ced51b8682214b7b62d3b986c04fa4455 /doc/development/img | |
parent | 4ae8e20c9c860e5d5d6a148e9f4ee0ae7b8c8946 (diff) |
Add script and job to trigger a docs build
Diffstat (limited to 'doc/development/img')
-rw-r--r-- | doc/development/img/manual_build_docs.png | bin | 0 -> 14869 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/development/img/manual_build_docs.png b/doc/development/img/manual_build_docs.png Binary files differnew file mode 100644 index 00000000000..fef767c2a79 --- /dev/null +++ b/doc/development/img/manual_build_docs.png |