diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e623549 --- /dev/null +++ b/Makefile @@ -0,0 +1,13 @@ +NAME=kernel +TEX_FILE=$(NAME).tex +BIB_FILE=$(NAME).bib +PDF_FILE=$(NAME).pdf + +.PHONY: all + +all: $(PDF_FILE) + +$(PDF_FILE): $(TEX_FILE) $(BIB_FILE) + pdflatex $(TEX_FILE) + bibtex $(NAME) + pdflatex $(TEX_FILE) |