Index: Makefile
===================================================================
RCS file: /project/slime/cvsroot/slime/doc/Makefile,v
retrieving revision 1.3
diff -u -r1.3 Makefile
--- Makefile	16 Apr 2004 19:31:11 -0000	1.3
+++ Makefile	22 Jun 2004 12:18:46 -0000
@@ -42,10 +42,10 @@
 # Some special-case TeX-escaping of international characters.
 contributors.texi: ../ChangeLog Makefile texinfo-tabulate.awk
 	cat ../ChangeLog | \
-	grep '^[0-9]' | \
-	sed -e 's/^[^ ]* *//' -e 's/ *<.*//' | \
-	(cat; echo 'Eric Marsden') | \
-	sort -u | \
+	sed -n -e '/^[0-9]/{s/^[^ ]* *//; s/ *<.*//; s/.* \(.*\)/\1|&/; p;}'| \
+	(cat; echo 'Marsden|Eric Marsden') | \
+	sort -du| \
+	sed -e 's/.*|//' | \
 	awk -f texinfo-tabulate.awk | \
 	sed -e 's/\o370/@norsko{}/g' \
 	> $@