From c5c1e92428e7289249f68b4ecc39cca4b629f209 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 18 Mar 2012 11:27:23 +0000
Subject: [PATCH] revid - include

---
 .gitignore  | 2 ++
 Makefile    | 6 +++++-
 article.tex | 2 ++
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 310442b..1d15410 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,5 @@
 *.pdf
 *.ps
 *~
+revid.inc
+*.new
diff --git a/Makefile b/Makefile
index 8bd84b3..0f2016e 100644
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,13 @@ SRCS := $(wildcard *.tex)
 
 default: final.pdf
 
-once:
+once:		revid.inc
 		pdflatex -halt-on-error article.tex </dev/null
 
+revid.inc:	.git-revid $(SRCS) Makefile
+		./$< >$@.new
+		cmp $@.new $@ || mv -f $@.new $@
+
 final.pdf: $(SRCS)
 		$(MAKE) once
 		$(MAKE) once
diff --git a/article.tex b/article.tex
index 1302cad..228532c 100644
--- a/article.tex
+++ b/article.tex
@@ -11,6 +11,8 @@
 \usepackage{fancyhdr}
 \pagestyle{fancy}
 \lhead[\rightmark]{}
+\lfoot[\thepage]{\input{revid.inc}}
+\rfoot[\input{revid.inc}]{\thepage}
 
 \let\stdsection\section
 \renewcommand\section{\newpage\stdsection}
-- 
2.30.2