From 87361faa32c386256afa5449b5884c05cf4fd27c Mon Sep 17 00:00:00 2001 From: MTGmonkey Date: Fri, 25 Apr 2025 17:15:48 +0200 Subject: [PATCH] change makefile to deem .gitignore irrelevant --- .gitignore | 1 - Makefile | 6 ++---- 2 files changed, 2 insertions(+), 5 deletions(-) delete mode 100644 .gitignore diff --git a/.gitignore b/.gitignore deleted file mode 100644 index 5227c6e..0000000 --- a/.gitignore +++ /dev/null @@ -1 +0,0 @@ -frontend/elm-stuff diff --git a/Makefile b/Makefile index a2b7afb..d19bb05 100644 --- a/Makefile +++ b/Makefile @@ -11,17 +11,15 @@ backend: frontend: frontend-format cd frontend && elm make src/Main.elm --output=../assets/js/main.js + rm -rf frontend/elm-stuff frontend-produce: frontend-format cd frontend && elm make src/Main.elm --optimize --output=../assets/js/tmp.js + rm -rf frontend/elm-stuff esbuild assets/js/tmp.js --minify --target=es5 --outfile=assets/js/main.js rm assets/js/tmp.js frontend-format: elm-format frontend/src/Main.elm --yes -clean: - touch assets/js/main.js - rm assets/js/main.js - .PHONY: all produce run start backend frontend frontend-produce frontend-format clean