From 5d365aae783eda5079e352375fd62866992525c4 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 5 May 2011 17:46:27 +0000
Subject: Fix emails

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

(limited to 'doc/Makefile.doc')

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