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 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'Makefile') 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/* -- cgit v1.3