summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFélix Sipma <felix.sipma@no-log.org>2015-05-19 18:41:18 +0200
committerFélix Sipma <felix.sipma@no-log.org>2015-05-19 18:41:50 +0200
commitaf56325818b56135fd9e0e1e6771ab96050ff752 (patch)
tree9ace27f17f31d8d3dd2b21e147244fc039e1469b
parent8dd1e1b6c5727ab04246c8b82b002115489e8a99 (diff)
remove Makefile from git
-rw-r--r--.gitignore1
-rw-r--r--Makefile5
2 files changed, 1 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore
index 5c56a35..2cb7e76 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,3 +6,4 @@ site.hi
site.o
site
dist
+Makefile
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 74b1d22..0000000
--- a/Makefile
+++ /dev/null
@@ -1,5 +0,0 @@
-CABAL=cabal
-
-.PHONY: build
-build:
- $(CABAL) build