Update CI as per renamed targets in makefile

This commit is contained in:
Ced
2023-10-08 19:52:51 +01:00
parent 6176d8fd7b
commit ffccbf8b9f
2 changed files with 2 additions and 2 deletions

View File

@@ -29,4 +29,4 @@ jobs:
options: -v ${{ github.workspace }}:/app
run: |
cd /app/book
make -j build_pdf build_serif_ebook
make -j build_pdf build_ebook

View File

@@ -22,7 +22,7 @@ website: mrproper
.PHONY: validate
validate: mrproper
docker run -it -v $(PWD):/opt/repo $(DOCKER_IMAGE) /bin/bash -c "cd /opt/repo/book && make -j build_pdf build_serif_ebook"
docker run -it -v $(PWD):/opt/repo $(DOCKER_IMAGE) /bin/bash -c "cd /opt/repo/book && make -j build_pdf build_ebook"
.PHONY: mrproper
mrproper: