From 044790f9b617e83ea224626418c4bd759dcf28b7 Mon Sep 17 00:00:00 2001 From: Nico Schottelius Date: Wed, 2 Dec 2009 06:30:41 +0100 Subject: [PATCH] insert stop before doing the real publication Signed-off-by: Nico Schottelius --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index dd146014..28999804 100644 --- a/Makefile +++ b/Makefile @@ -16,6 +16,8 @@ clean: all rm -rf ${DESTDIR} public: all + @echo "Press return to publish..." + @read avariable git push --mirror find ${DESTDIR} -type f -exec chmod 0644 {} \; find ${DESTDIR} -type d -exec chmod 0755 {} \;