Mercurial > docs > diploma

annotate thesis/scripts/improve-index.awk @ 372:6477e7827617

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added scripts for improved index generation and complete bibtex generation
author meillo@marmaro.de
date Sat, 31 Jan 2009 20:07:58 +0100
parents
children d51894e48762
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
1 #!/usr/bin/awk -f
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
2 #
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
3 # improve the index
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
4
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
5 BEGIN{
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
6 ie["mta"] = "mail transfer agent (\\MTA)";
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
7 ie["mua"] = "mail user agent (\\MUA)";
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
8 ie["smtp"] = "simple mail transfer protocol (\\SMTP)";
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
9 ie["ietf"] = "Internet Engineering Task Force (\\NAME{IETF})";
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
10 }
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
11
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
12 {
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
13 cur = $0
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
14 sub("[^{]*{", "", cur);
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
15 sub("[}!].*", "", cur);
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
16 if (ie[cur]) {
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
17 #print ie[cur];
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
18 sub("{[^}!]*", "{" ie[cur]);
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
19 }
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
20 print;
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
21 }