Update index on every push

2 files changed, 5 insertions, 9 deletions

diff --git a/Makefile b/Makefile
index 1855016..0472ee4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
-all: updateall index
+all: push
+        ssh git@tronto.net /home/git/BIN/post-receive-stagit all
 
 push:
         ssh git@tronto.net mkdir -p BIN FILES
@@ -8,9 +9,6 @@ push:
 index: push
         ssh git@tronto.net /home/git/BIN/post-receive-stagit index
 
-updateall: push
-        ssh git@tronto.net /home/git/BIN/post-receive-stagit all
-
 clean:
         ssh git@tronto.net rm -r FILES/* BIN/*
 
diff --git a/post-receive-stagit b/post-receive-stagit
index 99a4acd..586a533 100755
--- a/post-receive-stagit
+++ b/post-receive-stagit
@@ -90,9 +90,7 @@ mkindex() {
         changeindextitlestyle
 }
 
-if [ "$1" = "index" ]; then
-        mkindex
-elif [ "$1" = "all" ]; then
+if [ "$1" = "all" ]; then
         for g in *.git; do
                 cd $g
                 cp $bindir/post-receive-stagit hooks/post-receive
@@ -100,7 +98,7 @@ elif [ "$1" = "all" ]; then
                 $bindir/post-receive-stagit
                 cd
         done
-        mkindex
-else
+elif [ "$1" != "index" ]; then
         mkpage
 fi
+mkindex