add pdf shrinking to release workflow
1 parent cab3ad4 commit 94c7258092386f69ddfeb473b07be469bb23f899
@tundra tundra authored on 19 Dec 2017
Showing 1 changed file
View
1
■■■■
makefile
release:
sed "s/__DATE__/${DATE}/" <${PROJECT}.rst >tmp.rst
sed "s/__REVISION__/${REVISION}/" <tmp.rst >${PROJECT}.rst
make html pdf
pdfshrink.sh ${PROJECT}.pdf
rm tmp.rst
git checkout ${PROJECT}.rst