From 9c895a3ced008b16909553d9c800103ae3cb146f Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@ikn.schottelius.org>
Date: Thu, 4 Mar 2010 23:16:07 +0100
Subject: [PATCH] update makefile

Signed-off-by: Nico Schottelius <nico@ikn.schottelius.org>
---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 28999804..7b44ff87 100644
--- a/Makefile
+++ b/Makefile
@@ -15,10 +15,14 @@ view: all
 clean: all
 	rm -rf ${DESTDIR}
 
-public: all
+ask:
 	@echo "Press return to publish..."
 	@read avariable
 	git push --mirror
+
+public: ask public-f
+
+public-f: all
 	find ${DESTDIR} -type f -exec chmod 0644 {} \;
 	find ${DESTDIR} -type d -exec chmod 0755 {} \;
 	rsync -av --delete ${DESTDIR} ${PUBDIR}