diff --git a/.gitattributes b/.gitattributes index 1a69df1..30c7db1 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,2 +1 @@ *.sh text eof=lf -Makefile text eof=lf diff --git a/Makefile b/Makefile deleted file mode 100644 index 9018179..0000000 --- a/Makefile +++ /dev/null @@ -1,28 +0,0 @@ -# Based on https://github.com/rowanmanning/make/blob/8628a5c2f7542def689bd4718f6bca2b8f7db533/javascript/index.mk - -dist/Main.js: install - @npx elm make app/Main.elm --output=dist/Main.js - @$(TASK_DONE) - -dist/Main.optimized.js dist/Main.optimized.min.js: install - @./optimize.sh - @$(TASK_DONE) - -# Clean the Git repository -.PHONY: clean -clean: - @git clean -fxd - @$(TASK_DONE) - -# Install dependencies -.PHONY: install -install: node_modules - @$(TASK_DONE) - -# Run npm install if package.json has changed more -# recently than node_modules -node_modules: package.json - @npm install - @$(TASK_DONE) - -TASK_DONE = echo "✓ $@ done" diff --git a/firebase.json b/firebase.json deleted file mode 100644 index 059fe4f..0000000 --- a/firebase.json +++ /dev/null @@ -1,10 +0,0 @@ -{ - "hosting": { - "public": "dist", - "ignore": [ - "firebase.json", - "**/.*", - "**/node_modules/**" - ] - } -}