From cc8f4f21d0c795bb07436c5ea1d8348efba02116 Mon Sep 17 00:00:00 2001
From: "B. Watson" <yalhcru@gmail.com>
Date: Thu, 7 May 2020 12:59:03 -0400
Subject: fix push target

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

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
-- 
cgit v1.2.3