4 commits

Author	SHA1	Message	Date
Philip Metzger	5b729a90a9	docs/design: Move the run doc to github. ... This ticks another box in #1869. Co-Authored-By: arxanas <me@waleedkhan.name> Co-Authored-By: hooper <hooper@google.com> Co-Authored-By: martinvonz <martinvonz@google.com>	2023-09-14 16:39:40 +02:00
Ilya Grigoriev	772e2b8be6	GitHub release action: publish HTML docs in an archive	2023-08-31 20:44:08 -07:00
Ilya Grigoriev	b67c115c29	docs: goodbye Github, hello GitHub	2023-08-28 10:43:48 -07:00
Ilya Grigoriev	fc49258d2f	docs: Set up mkdocs and poetry ... I initially was thinking of using `mdbook`, which looks a little better, but I think versioning the docs is important, and the features I want are pretty much only supported by the Mkdocs' "Material" theme. Mkdocs is written in Python. The prerequesites for building docs on your machine should be to install Python and Poetry, everything else should be installed automatically by Poetry. See the edits to `contributing.md` for more details.	2023-08-28 10:43:48 -07:00