diff thesis/scripts/improve-index.awk @ 408:ee7211546c02 final version which I handed in

added paragraph about hikernet; fixed some bib entries
author meillo@marmaro.de
date Mon, 09 Feb 2009 00:37:52 +0100
parents e57129f57faa
children
line wrap: on
line diff
--- a/thesis/scripts/improve-index.awk	Sun Feb 08 23:57:50 2009 +0100
+++ b/thesis/scripts/improve-index.awk	Mon Feb 09 00:37:52 2009 +0100
@@ -99,6 +99,7 @@
 	e["Stephen C. Johnson"] = e["Johnson"] = "Johnson@\\textsc{Johnson, Stephen C.}";
 	e["Wietse Venema"] = e["Venema"] = "Venema@\\textsc{Venema, Wietse}";
 	e["Volkmar Kese"] = e["Kese"] = "Kese@\\textsc{Kese, Volkmar}";
+	e["Wolfgang Leister"] = e["Leister"] = "Leister@\\textsc{Leister, Wolfgang}";
 
 
 	# subentries