From 6ed532078680a6735811aa40a3b41c2a77c0da42 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 7 May 2023 21:52:55 +0200 Subject: Update index on every push --- Makefile | 6 ++---- post-receive-stagit | 8 +++----- 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 -- cgit v1.3