2 commits

Author	SHA1	Message	Date
Dan Helfman	5b991b88dd	Rewrite documentation navigation URLs when being run locally.	2023-07-11 19:58:49 -07:00
Dan Helfman	9c9be65b2b	Add files for building documentation into a Docker image for web serving.	2019-05-20 11:41:39 -07:00