commit | 03b7113a212e280dbdedbe2e323f747fb73bbd8e | [log] [tgz] |
---|---|---|
author | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | Fri Apr 17 20:56:28 2020 +0900 |
committer | Tristan Van Berkom <tristan.vanberkom@codethink.co.uk> | Fri Apr 17 20:58:24 2020 +0900 |
tree | f6518cb0fa7abe1dc51a6ec51be89672fa31f30f | |
parent | 548ec0ce8ac3b70a3798d286b45dff3ce6395a24 [diff] |
doc/source/sessions-stored: Refreshing built session files This refreshes the stored sessions and adds the new ones generated by recent additions to the user guide. The stored sessions exist to allow contributors to build the docs without having to build the sessions, which requires an internet connection and takes longer to build.