diff options
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |