diff --git a/makefile b/makefile
index 4f37260..e7d6a90 100644
--- a/makefile
+++ b/makefile
@@ -126,6 +126,7 @@
 	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