diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..2a31837 --- /dev/null +++ b/Makefile @@ -0,0 +1,12 @@ +LATEX = pdflatex +OUTPUT = docker-doc +SRC != find * -name '*.tex' + +${OUTPUT}.pdf: ${SRC} + ${LATEX} -jobname=${OUTPUT} main.tex + +clean: + @rm -f *.aux *.log + +clean-all: clean + @rm -f *.pdf |