🎉 Book Website (#145)

* Basic script to modify html output

* Modify HTML of website

* Add makefile

* Compile website in CI

* Improve readme
This commit is contained in:
Hendrik Kleinwaechter
2023-07-11 09:03:07 +02:00
committed by GitHub
parent dc2b810743
commit d5889a67a1
11 changed files with 185 additions and 45 deletions

View File

@@ -18,6 +18,10 @@ 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