git-hooks

commit 6ed532078680a6735811aa40a3b41c2a77c0da42
parent 391065f33078e004ee3ff3614331631e5dc68584
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Sun,  7 May 2023 21:52:55 +0200

Update index on every push

Diffstat:
M
Makefile
 | 
6
++----
M
post-receive-stagit
 | 
8
+++-----

2 files changed, 5 insertions(+), 9 deletions(-)
diff --git 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
@@ -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