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