aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorB. Watson <yalhcru@gmail.com>2020-05-07 12:59:03 -0400
committerB. Watson <yalhcru@gmail.com>2020-05-07 12:59:03 -0400
commitcc8f4f21d0c795bb07436c5ea1d8348efba02116 (patch)
treed37acfba6c57c070d79befffc1b3222192ddb7f0 /Makefile
parent6ba11c343ac6d60f45fcad98aab5e16982e78f50 (diff)
downloadmiragextract-cc8f4f21d0c795bb07436c5ea1d8348efba02116.tar.gz
fix push target
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f8c5de9..92ae3fa 100644
--- a/Makefile
+++ b/Makefile
@@ -47,7 +47,7 @@ test: all
push: all man html
git add $(PROJ).1 $(PROJ).html
- git commit -m'auto-regenerate man/html pages'
+ git commit -m'auto-regenerate man/html pages' || true
git push
$(PROJ).1: $(PROJ).rst