Improve website build documentation (#162)

This improves the documentation on how to build the website and applies
a couple of additional fixes. Followup to #161
This commit is contained in:
Hendrik Kleinwaechter
2023-08-04 16:14:05 +02:00
committed by GitHub
parent a8ad6f0a8b
commit 50d65f693b
3 changed files with 23 additions and 5 deletions

View File

@@ -18,10 +18,6 @@ push_docker_image:
.PHONY: website
website: mrproper
docker run -it -v $(PWD):/opt/repo $(DOCKER_IMAGE) /bin/bash -c "cd /opt/repo/website && make website"
.PHONY: latex_website
latex_website: mrproper
docker run -it -v $(PWD):/opt/repo $(DOCKER_IMAGE) /bin/bash -c "cd /opt/repo/book && make website"
.PHONY: validate