Cleanup: Remove Makefile

The folder the makefile referes to was deleted.

Bug: T195847
Change-Id: I443099c1ae570b6c667bd9b028d77ba314dbae6b
This commit is contained in:
Moritz Schubotz (physikerwelt) 2018-06-17 14:34:17 +02:00
parent 5d9e158241
commit 2f5d249821
No known key found for this signature in database
GPG Key ID: 73D26C61BAB32E94
1 changed files with 0 additions and 9 deletions

View File

@ -1,9 +0,0 @@
.PHONY: all texvccheck
all: texvc texvccheck
texvc:
cd math; $(MAKE) $(MFLAGS)
texvccheck:
cd texvccheck; $(MAKE) $(MFLAGS)