From ec000fcbb7e721bfd2638427d54f56f2dae76316 Mon Sep 17 00:00:00 2001 From: lonkaars Date: Wed, 28 Dec 2022 11:43:26 +0100 Subject: rename to refold-tools --- makefile | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 makefile (limited to 'makefile') diff --git a/makefile b/makefile deleted file mode 100644 index cef3be7..0000000 --- a/makefile +++ /dev/null @@ -1,18 +0,0 @@ -all: back-template.html front-template.html - -.PRECIOUS: card.min.js - -card.min.js: card/card.js - sed 's/\/\/.*$$//g' $< | tr '\n' ' ' | sed 's/\t//g' | sed 's/ */ /g' > $@ - -card.min.css: card/card.css - cat $< | tr '\n' ' ' | sed 's/\t//g' | sed 's/ */ /g' > $@ - -%.html: %.m4 - m4 $< > $@ - -back-template.html: card.min.js card.min.css -front-template.html: card.min.js card.min.css - -clean: - $(RM) back-template.html front-template.html card.min.js -- cgit v1.2.3