Files
Jorrit Wronski 522e810574 Build the docs for v6.4.2 (#2191)
- Streamlined the build of the HTML documentation based on a private docker image.
- Invoke doxygen and Sphinx to create the final HTML pages.
- Employ a cache for the GitHub actions to store the output of the expensive tasks.
- Restructured the GitHub actions builders and introduced a naming scheme.
- Fixed a few typos in the docs.
- Automatically publish the documentation to GitHub pages.
2022-12-06 21:49:08 +01:00
..
2019-01-11 11:42:55 +01:00
2015-07-09 18:43:45 +02:00
2014-05-16 13:47:49 +02:00
2019-01-12 20:45:25 -07:00
2019-01-12 20:45:25 -07:00
2018-08-14 23:06:49 -06:00
2019-05-18 09:46:35 +02:00
2020-07-29 11:02:39 +02:00
2019-01-12 20:45:25 -07:00