plano/docs/build_docs.sh

docker build -f Dockerfile . -t sphinx
docker run --user $(id -u):$(id -g) --rm -v $(pwd):/docs sphinx make clean
docker run --user $(id -u):$(id -g) --rm -v $(pwd):/docs sphinx make html
chmod -R 777 build/html
add readme and docker build (#81) 2024-09-25 10:05:59 -07:00			`docker build -f Dockerfile . -t sphinx`
fixing docs so that GH pages picks up the right CNAME for DNS (#135) * fixing docs so that GH pages picks up the right CNAME for DNS * updating workflow to pick CNAME * making sure to correctly set permissions on the build/html directory * fixing GH actions issues with CNAME * updated docker build command to run as local user * fixed the CNAME issue and udpated GH actions --------- Co-authored-by: Salman Paracha <salmanparacha@MacBook-Pro-261.local> 2024-10-07 11:03:02 -07:00			`docker run --user $(id -u):$(id -g) --rm -v $(pwd):/docs sphinx make clean`
			`docker run --user $(id -u):$(id -g) --rm -v $(pwd):/docs sphinx make html`
			`chmod -R 777 build/html`