aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--Makefile10
2 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 5786794..2223198 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
minimun
+minimun.tar.gz
diff --git a/Makefile b/Makefile
index 65f55de..a384f98 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
.POSIX:
DESTDIR=/home/minimun/minimun
+VER=1.0
minimun: minimun.orig
sed 's:%%DEST%%:$(DESTDIR):' minimun.orig > minimun
@@ -16,5 +17,14 @@ uninstall:
rm $(DESTDIR)/{minimun,format.tex,logo.png}
rmdir -p $(DESTDIR)
+SRC = format.tex LICENCE logo.png Makefile minimun.ini minimun.orig\
+nginx.example.conf README www
+dist: minimun.tar.gz
+minimun.tar.gz: $(SRC)
+ mkdir minimun-$(VER)
+ cp -r -t minimun-$(VER) $(SRC)
+ tar -czf minimun.tar.gz minimun-$(VER)
+ rm -rf minimun-$(VER)
+
$(DESTDIR):
mkdir -p $@