diff options
| author | Félix Sipma <felix.sipma@no-log.org> | 2015-05-19 18:41:18 +0200 |
|---|---|---|
| committer | Félix Sipma <felix.sipma@no-log.org> | 2015-05-19 18:41:50 +0200 |
| commit | af56325818b56135fd9e0e1e6771ab96050ff752 (patch) | |
| tree | 9ace27f17f31d8d3dd2b21e147244fc039e1469b | |
| parent | 8dd1e1b6c5727ab04246c8b82b002115489e8a99 (diff) | |
remove Makefile from git
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 5 |
2 files changed, 1 insertions, 5 deletions
@@ -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 |