From 7d7fe7b09dac4849b477b9fd44486cab8773bef4 Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Wed, 3 Mar 2021 13:38:17 +0100 Subject: [PATCH] Remove latex rule --- doc/formalization/Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/doc/formalization/Makefile b/doc/formalization/Makefile index 6b0350eb..9974c05b 100644 --- a/doc/formalization/Makefile +++ b/doc/formalization/Makefile @@ -1,6 +1,3 @@ -%.tex: - latexmk -pdf -halt-on-error -shell-escape -pvc $@ - FSTAR_HOME?=~/FStar include $(FSTAR_HOME)/ulib/gmake/z3.mk include $(FSTAR_HOME)/ulib/gmake/fstar.mk