1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/thesis/scripts/improve-index.awk	Sat Jan 31 20:07:58 2009 +0100
     1.3 @@ -0,0 +1,21 @@
     1.4 +#!/usr/bin/awk -f
     1.5 +#
     1.6 +# improve the index
     1.7 +
     1.8 +BEGIN{
     1.9 +	ie["mta"] = "mail transfer agent (\\MTA)";
    1.10 +	ie["mua"] = "mail user agent (\\MUA)";
    1.11 +	ie["smtp"] = "simple mail transfer protocol (\\SMTP)";
    1.12 +	ie["ietf"] = "Internet Engineering Task Force (\\NAME{IETF})";
    1.13 +}
    1.14 +
    1.15 +{
    1.16 +	cur = $0
    1.17 +	sub("[^{]*{", "", cur);
    1.18 +	sub("[}!].*", "", cur);
    1.19 +	if (ie[cur]) {
    1.20 +		#print ie[cur];
    1.21 +		sub("{[^}!]*", "{" ie[cur]);
    1.22 +	}
    1.23 +	print;
    1.24 +}