From 5d365aae783eda5079e352375fd62866992525c4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 5 May 2011 17:46:27 +0000
Subject: Fix emails

---
 doc/Makefile     | 4 ++--
 doc/Makefile.doc | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 85d44fb4..21fb29a6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,9 +1,9 @@
 ##
 ## Makefile for Proof General doc directory.
 ##
-## Author:  David Aspinall <da@dcs.ed.ac.uk>
+## Author:  David Aspinall <da@inf.ed.ac.uk>
 ##
-## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+## Maintainer:  Proof General maintainer <da+proofgen@inf.ed.ac.uk>
 ##
 ## $Id$
 ## 
diff --git a/doc/Makefile.doc b/doc/Makefile.doc
index c0ecc835..1d35683b 100644
--- a/doc/Makefile.doc
+++ b/doc/Makefile.doc
@@ -1,9 +1,9 @@
 ##
 ## Makefile for Proof General doc directory.
 ##
-## Author:  David Aspinall <da@dcs.ed.ac.uk>
+## Author:  David Aspinall <da@inf.ed.ac.uk>
 ##
-## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
+## Maintainer:  Proof General maintainer <da+proofgen@inf.ed.ac.uk>
 ##
 ## $Id$
 ## 
-- 
cgit v1.2.3