From 84cd635faf89ba679b9a1bf4d6aecc7ca4ec7350 Mon Sep 17 00:00:00 2001 From: Toshaan Bharvani Date: Tue, 24 Jul 2018 09:29:50 +0200 Subject: [PATCH] add make file to create .gz files Signed-off-by: Toshaan Bharvani --- Makefile | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 Makefile diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..8d33303 --- /dev/null +++ b/Makefile @@ -0,0 +1,9 @@ +#!Makefile + +.PHONY: build + +all: build + +build: + @find . -name '*.html' ! -name '*.gz' -type f -exec sh -c "gzip -c -9 < {} > {}.gz" \; + @find . ! -name '*.gz' -type f -exec sh -c "gzip -c -9 < {} > {}.gz" \;