From 2758e95bc546a35812697dd495af52f715482324 Mon Sep 17 00:00:00 2001 From: "Begerad, Stefan" Date: Thu, 15 Dec 2022 15:21:31 +0100 Subject: [PATCH] feat: extend makefile --- .gitignore | 1 + Makefile => makefile | 15 ++++++++++++++- 2 files changed, 15 insertions(+), 1 deletion(-) rename Makefile => makefile (74%) diff --git a/.gitignore b/.gitignore index f886e54..af14715 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +bundle build venv *.*~ diff --git a/Makefile b/makefile similarity index 74% rename from Makefile rename to makefile index d0c3cbf..04c1b0c 100644 --- a/Makefile +++ b/makefile @@ -16,5 +16,18 @@ help: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). -%: Makefile +%: makefile @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + +.PHONY: sphinx bundle + +clean: + -rm -rf build/* + +sphinx: + $(MAKE) singlehtml latexpdf + +bundle: sphinx + -mkdir bundle + cp build/latex/*.pdf bundle/ + rsync -av --delete build/singlehtml/ bundle/html