make sure that every "make pdf" re-generates the git info in the
authorAaron Kaplan <aaron@lo-res.org>
Mon, 2 Dec 2013 19:58:41 +0000 (20:58 +0100)
committerAaron Kaplan <aaron@lo-res.org>
Mon, 2 Dec 2013 19:58:41 +0000 (20:58 +0100)
commit111c94c19c55724b293c150ae588317efca4901d
treec6aaba2ee010521b1b794707d7b3049e81c1350b
parent897258525d3cf3f24877554ba071bf5e55d7bec5
make sure that every "make pdf" re-generates the git info in the
pages' footer
src/.gitignore
src/Makefile
src/gitHeadInfo.gin [deleted file]
src/update-metadata-for-gitinfo [new file with mode: 0755]