diff options
author | Joris | 2021-01-09 14:24:49 +0100 |
---|---|---|
committer | Joris | 2021-01-09 14:24:49 +0100 |
commit | 026ace6302f23837e34e982f6660e09ff38ee97b (patch) | |
tree | 4ea14b3cdadadad97b349901148b8f4a2462482e /Makefile | |
parent | 8337dd669c518a70bffdf1e91059e0968d786c0f (diff) |
Use plain HTML and CSS
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 240bde1..0000000 --- a/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -export PATH := node_modules/.bin:$(PATH) - -build: static/main.js - @echo "Building site" - @zola build - -static/main.js: node_modules $(shell find src \( -type d -o \( -type f -a -regex ".*\.ml" \) \)) - @echo "Building $@" - @bsb -make-world - @rollup --config rollup.config.js - @terser $@ --output $@ --compress --mangle - -node_modules: package.json - @bsb -init init - @mv init/node_modules . - @rm -rf init - @npm install - @touch -c node_modules - -clean: - @echo "Cleaning" - @rm -f static/main.js - @rm -rf node_modules lib - @find src -name '*.bs.js' -exec rm {} \; |