diff --git a/docs/papers/Makefile b/docs/papers/Makefile
index a17c2f45..557f40c7 100644
--- a/docs/papers/Makefile
+++ b/docs/papers/Makefile
@@ -1,3 +1,5 @@
+OUT:=$(shell git rev-parse --short HEAD)
+
 all: hbs2-git-problem hbs2-git-new-repo hbs2-git-doc
 
 .PHONY: all clean
@@ -11,6 +13,7 @@ hbs2-git-problem: hbs2-git-problem.pdf
 hbs2-git-new-repo: hbs2-git-new-repo.pdf
 
 hbs2-git-doc: hbs2-git-doc-0.24.1.pdf
+	@cp $< $(basename $<)-$(OUT)$(suffix $<)
 
 clean:
 	rm -f *.aux *.log *.nav *.out *.snm *.vrb *.toc *.pdf