diff options
| author | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-02 22:56:02 +0100 |
|---|---|---|
| committer | Aleksa Vučković <aleksav013@gmail.com> | 2022-01-02 22:56:02 +0100 |
| commit | e2b78d20b80d89321d8d9df3ab8ade8407642dfc (patch) | |
| tree | 148cb3bc894b974ae91290e493046120d04987b0 /Makefile | |
| parent | ead31873b971044cd3ecb7e40ae03bdb2e6f7642 (diff) | |
Adding code
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) |