3 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	8f4cce5fa5	Make dev docs message stand out a little more.	2023-05-30 22:30:06 -07:00
Dan Helfman	22b84a2fea	Switch to Docker Compose for dev-docs script, so podman-docker is no longer needed for Podman users.	2023-04-22 10:07:40 -07:00