Henry Wilkinson a74d88dcda mkdocs setup (deploy, dev, user-guide) (#375) ... * Initial docs move * Setup mkdocs * Adds instructions for building docs * add new deployment docs, local and prod * set up three sections: deployment, dev and user guide * remove old deployment docs * ci: mkdocs gh-pages publish Co-authored-by: sua yoo <sua@suayoo.com> Co-authored-by: Ilya Kreymer <ikreymer@gmail.com>		2022-12-05 16:41:37 -08:00
..
deploy	mkdocs setup (deploy, dev, user-guide) (#375)	2022-12-05 16:41:37 -08:00
dev	mkdocs setup (deploy, dev, user-guide) (#375)	2022-12-05 16:41:37 -08:00
user-guide	mkdocs setup (deploy, dev, user-guide) (#375)	2022-12-05 16:41:37 -08:00
index.md	mkdocs setup (deploy, dev, user-guide) (#375)	2022-12-05 16:41:37 -08:00