1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e51f7ff..084f9d0 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,10 @@ Main.v: main.org
 	@echo "TANGLE" $<
 	@emacs -batch -find-file main.org -funcall org-babel-tangle
 
+%.pdf: %.mkiv
+	@echo "CONTEXT" $<
+	@context $<
+
 Makefile.coq _CoqProject: force
 	@echo "COQMAKE Makefile.coq"
 	@$(COQMAKE) $(COQINCLUDES) $(VS) -o Makefile.coq