diff --git a/Makefile b/Makefile deleted file mode 100644 index bb636dd..0000000 --- a/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -.PHONY: all texvccheck - -all: texvc texvccheck - -texvc: - cd math; $(MAKE) $(MFLAGS) - -texvccheck: - cd texvccheck; $(MAKE) $(MFLAGS)