From 2f5d24982120e2829e53ad22bf6e414887dbbb46 Mon Sep 17 00:00:00 2001
From: "Moritz Schubotz (physikerwelt)" <wiki@physikerwelt.de>
Date: Sun, 17 Jun 2018 14:34:17 +0200
Subject: [PATCH] Cleanup: Remove Makefile

The folder the makefile referes to was deleted.

Bug: T195847
Change-Id: I443099c1ae570b6c667bd9b028d77ba314dbae6b
---
 Makefile | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 Makefile

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)