diff options
| author | David Aspinall | 2003-05-20 20:24:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-20 20:24:42 +0000 |
| commit | f224103f0c57f6be28a1e42167367ed5e62e83ce (patch) | |
| tree | 449ed4bae1ba089e354789f19815be76be391d3f | |
| parent | fb812bbffb795d1b7d219965510397fe199e13e5 (diff) | |
Fix tabs in developer list
| -rw-r--r-- | Makefile.devel | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/Makefile.devel b/Makefile.devel index 71c2b1c5..b599ad80 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -63,17 +63,18 @@ # Names and real mail addresses of developers # Arguments for rcs2log for ChangeLog target +# NB: must use TAB as separator in list below. DEVELOPERS=\ --u "da David Aspinall da@proofgeneral.org" \ --u "markus Markus Wenzel support+wenzelm@proofgeneral.org" \ --u "pier Pierre Courtieu courtieu@lri.fr" \ --u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ --u "pxc Paul Callaghan P.C.Callaghan@durham.ac.uk" \ --u "patrl Patrick Loiseleur support+patrl@proofgeneral.org" \ --u "tms Thomas Kleymann support+tms@proofgeneral.org" \ --u "djs Dilip Sequiera support+djs@proofgeneral.org" \ --u "hhg Healfdene Goguen support+hhg@proofgeneral.org" +-u "da David Aspinall da@proofgeneral.org" \ +-u "markus Markus Wenzel support+wenzelm@proofgeneral.org" \ +-u "pier Pierre Courtieu courtieu@lri.fr" \ +-u "crr Christophe Raffalli Christophe.Raffalli@univ-savoie.fr" \ +-u "pxc Paul Callaghan P.C.Callaghan@durham.ac.uk" \ +-u "patrl Patrick Loiseleur support+patrl@proofgeneral.org" \ +-u "tms Thomas Kleymann support+tms@proofgeneral.org" \ +-u "djs Dilip Sequiera support+djs@proofgeneral.org" \ +-u "hhg Healfdene Goguen support+hhg@proofgeneral.org" # PRERELEASE_PREFIX is used to match PRERELEASE_TAG in sed @@ -229,6 +230,9 @@ tags: $(EL) # # Add recent messages to ChangeLog. CVSROOT must be set correctly. # +# FIXME: this duplicates entries made on the same day: we could do +# with a way of cleaning the last day from the ChangeLog. +# ChangeLog: FORCE rcs2log -h "dcs.ed.ac.uk" $(DEVELOPERS) | sed 's|/home/proofgen/src/ProofGeneral/||g' > ChangeLog.prefix if [ -f ChangeLog ]; then mv ChangeLog ChangeLog.old; else echo > ChangeLog.old; fi |