diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..3f39ccb --- /dev/null +++ b/Makefile | |||
| @@ -0,0 +1,17 @@ | |||
| 1 | |||
| 2 | IMAGE_NAME = latex | ||
| 3 | MAIN_TEX = main.tex | ||
| 4 | OUT_PDF = main.pdf | ||
| 5 | HOST_DIR := $(shell pwd) | ||
| 6 | |||
| 7 | build: | ||
| 8 | docker build -t $(IMAGE_NAME) . | ||
| 9 | |||
| 10 | compile: | ||
| 11 | docker run --rm -v "$(HOST_DIR)":/data $(IMAGE_NAME) latexmk -pdf -shell-escape $(MAIN_TEX) | ||
| 12 | |||
| 13 | bib: | ||
| 14 | docker run --rm -v "$(HOST_DIR)":/data $(IMAGE_NAME) bibtex $(basename $(MAIN_TEX)) | ||
| 15 | |||
| 16 | cleanall: | ||
| 17 | git clean -xdf | ||
