Work around bug in `release` target of protocol/Makefile.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-04-05 22:30:13 +01:00
parent 88c338b9e1
commit e23cc72ac6
1 changed files with 0 additions and 1 deletions

View File

@ -32,7 +32,6 @@ else
$(MAKE) clean all
git add *.pdf
git commit -m "Regenerate PDFs." *.pdf
if [[ "$(shell git diff HEAD |wc -l)" != "0" ]]; then echo "The working tree is not clean."; exit 1; fi
git tag "v$(TAG)"
git push --tags origin HEAD:master
endif