# HG changeset patch
# User Jan Vrany <jan.vrany@fit.cvut.cz>
# Date 1564686355 -3600
# Node ID 0cddbc0233293990d6b40f9bc9eb42134ef29f29
# Parent  10f013c4f5bd3acdb5052e5fe939f6981e70a507
Remove leftover `Makefile`

diff -r 10f013c4f5bd -r 0cddbc023329 Makefile
--- a/Makefile	Mon Jul 02 08:46:03 2018 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,21 +0,0 @@
-#
-# DO NOT EDIT
-#
-# make uses this file (Makefile) only, if there is no
-# file named "makefile" (lower-case m) in the same directory.
-# My only task is to generate the real makefile and call make again.
-# Thereafter, I am no longer used and needed.
-#
-
-.PHONY: run
-
-run: makefile
-	$(MAKE) -f makefile
-
-#only needed for the definition of $(TOP)
-include Make.proto
-
-makefile: mf
-
-mf:
-	$(TOP)/rules/stmkmf