zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

protocol/Makefile: add new .pdf files if needed. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-01-11 00:10:37 +00:00
parent adced97391
commit 894c979a3d
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
protocol/Makefile
View File

@ -30,6 +30,7 @@ else
$(eval TAG := $(shell git tag --points-at HEAD))
if [[ "$(shell git rev-parse --abbrev-ref HEAD)" != "master" ]]; then echo "Not on master."; exit 1; fi
$(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)"