diff options
Diffstat (limited to '')
| -rw-r--r-- | kem/.gitignore | 1 | ||||
| -rw-r--r-- | kem/Makefile | 7 |
2 files changed, 0 insertions, 8 deletions
diff --git a/kem/.gitignore b/kem/.gitignore deleted file mode 100644 index a136337..0000000 --- a/kem/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*.pdf diff --git a/kem/Makefile b/kem/Makefile deleted file mode 100644 index 82d23f6..0000000 --- a/kem/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -pdfs := $(subst .md,.pdf,$(wildcard *.md)) -default: $(pdfs) -%.pdf: %.md - pandoc -V geometry:margin=1cm $< -o $@ -.PHONY: clean -clean: - rm -rf $(pdfs) |