Mercurial > docs > diploma

annotate thesis/scripts/improve-index.awk @ 409:ca763bd8c809 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag final version which I handed in for changeset ee7211546c02
author meillo@marmaro.de
date Wed, 11 Feb 2009 08:55:32 +0100
parents ee7211546c02
children
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
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
5
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
6 BEGIN{
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
7
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
8 # special formating for entries
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
9 e["mta"] = "Mail Transfer Agent (\\NAME{MTA})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
10 e["mua"] = "Mail User Agent (\\NAME{MUA})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
11 e["mda"] = "Mail Delivery Agent (\\NAME{MDA})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
12 e["smtp"] = "Simple Mail Transfer Protocol (\\NAME{SMTP})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
13 e["ietf"] = "ietf@\\NAME{IETF}";
373
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
14 e["debian"] = "Debian";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
15 e["ascii"] = "ascii@\\NAME{ASCII}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
16 e["gpl"] = "General Public License (\\NAME{GPL})";
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
17 e["auth"] = "authentication";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
18 e["bsd"] = "Berkeley Software Distribution (\\NAME{BSD})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
19 e["c"] = "C programming language";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
20 e["changing ip addresses"] = "changing \\NAME{IP} addresses";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
21 e["cyrus sasl"] = "cyrus \\NAME{SASL}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
22 e["dns blacklist"] = "dns blacklist@\\NAME{DNS} blacklist";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
23 e["dynamic dns"] = "dynamic \\NAME{DNS}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
24 e["enc"] = "encryption";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
25 e["fax"] = "telefax";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
26 e["imap"] = "imap@\\NAME{IMAP}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
27 e["ipc"] = "Inter-Process Communication (\\NAME{IPC})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
28 e["isp"] = "Internet Service Provider (\\NAME{ISP})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
29 e["mime"] = "mime@\\NAME{MIME}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
30 e["mmdf"] = "mmdf@\\NAME{MMDF}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
31 e["pam"] = "pam@\\NAME{PAM}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
32 e["pop3"] = "pop3@\\NAME{POP3}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
33 e["relay-only mta"] = "relay-only \\NAME{MTA}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
34 e["rfc"] = "Request for Comments (\\NAME{RFC})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
35 e["sasl"] = "sasl@\\NAME{SASL}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
36 e["smtps"] = "smtps@\\NAME{SMTPS}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
37 e["starttls"] = "starttls@\\NAME{STARTTLS}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
38 e["swot analysis"] = "swot analysis@\\NAME{SWOT} analysis";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
39 e["tcp socket"] = "tcp socket@\\NAME{TCP} socket";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
40 e["tcp wrapper"] = "tcp wrapper@\\NAME{TCP} Wrapper";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
41 e["tls"] = "Transport Layer Security (\\NAME{TLS})";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
42 e["uc"] = "Unified Communication";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
43 e["um"] = "Unified Messaging";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
44 e["uucp"] = "uucp@\\NAME{UUCP}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
45 e["setuid"] = "setuid/setgid";
373
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
46
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
47
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
48 # persons
373
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
49 e["Oliver Kurth"] = e["Kurth"] = "Kurth@\\textsc{Kurth, Oliver}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
50 e["Adam Back"] = e["Back"] = "Back@\\textsc{Back, Adam}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
51 e["Eric Allman"] = e["Allman"] = "Allman@\\textsc{Allman, Eric}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
52 e["Stas Bekman"] = e["Bekman"] = "Bekman@\\textsc{Bekman, Stas}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
53 e["Daniel J. Bernstein"] = e["Bernstein"] = "Bernstein@\\textsc{Bernstein, Daniel J.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
54 e["Bryan Costales"] = e["Costales"] = "Costales@\\textsc{Costales, Bryan}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
55 e["George Candea"] = e["Candea"] = "Candea@\\textsc{Candea, George}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
56 e["Dan Shearer"] = e["Shearer"] = "Shearer@\\textsc{Shearer, Dan}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
57 e["Dave Sill"] = e["Sill"] = "Sill@\\textsc{Sill, Dave}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
58 e["David A. Wheeler"] = e["Wheeler"] = "Wheeler@\\textsc{Wheeler, David A.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
59 e["Kyle D. Dent"] = e["Dent"] = "Dent@\\textsc{Dent, Kyle D.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
60 e["Derek Broughton"] = e["Broughton"] = "Broughton@\\textsc{Broughton, Derek}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
61 e["Doug McIlroy"] = e["McIlroy"] = "McIlroy@\\textsc{McIlroy, Doug}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
62 e["Peter Eisentraut"] = e["Eisentraut"] = "Eisentraut@\\textsc{Eisentraut, Peter}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
63 e["Tony Finch"] = e["Finch"] = "Finch@\\textsc{Finch, Tony}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
64 e["Armando Fox"] = e["Fox"] = "Fox@\\textsc{Fox, Armando}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
65 e["Frederik Vermeulen"] = e["Vermeulen"] = "Vermeulen@\\textsc{Vermeulen, Frederik}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
66 e["Marc G. Graff"] = e["Graff"] = "Graff@\\textsc{Graff, Marc G.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
67 e["Munawar Hafiz"] = e["Hafiz"] = "Hafiz@\\textsc{Hafiz, Munawar}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
68 e["Philip Hazel"] = e["Hazel"] = "Hazel@\\textsc{Hazel, Philip}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
69 e["Ian R. Justman"] = e["Justman"] = "Justman@\\textsc{Justman, Ian R.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
70 e["Jesse Freund"] = e["Freund"] = "Freund@\\textsc{Freund, Jesse}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
71 e["Jon Postel"] = e["Postel"] = "Postel@\\textsc{Postel, Jon}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
72 e["Jonathan de Boyne Pollard"] = e["de Boyne Pollard"] = "de Boyne Pollard@\\textsc{de Boyne Pollard, Jonathan}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
73 e["Stephen H. Kan"] = e["Kan"] = "Kan@\\textsc{Kan, Stephen H.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
74 e["Brian W. Kernighan"] = e["Kernighan"] = "Kernighan@\\textsc{Kernighan, Brian W.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
75 e["Nils Lenke"] = e["Lenke"] = "Lenke@\\textsc{Lenke, Nils}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
76 e["Markus Schnalke"] = e["Schnalke"] = "Schnalke@\\textsc{Schnalke, Markus}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
77 e["Michael Osterman"] = e["Osterman"] = "Osterman@\\textsc{Osterman, Michael}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
78 e["Rob Pike"] = e["Pike"] = "Pike@\\textsc{Pike, Rob}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
79 e["Eric S. Raymond"] = e["Raymond"] = "Raymond@\\textsc{Raymond, Eric S.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
80 e["Dennis Ritchie"] = e["Ritchie"] = "Ritchie@\\textsc{Ritchie, Dennis}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
81 e["Peter Schmitz"] = e["Schmitz"] = "Schmitz@\\textsc{Schmitz, Peter}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
82 e["Ken Simpson"] = e["Simpson"] = "Simpson@\\textsc{Simpson, Ken}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
83 e["Diomidis Spinellis"] = e["Spinellis"] = "Spinellis@\\textsc{Spinellis, Diomidis}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
84 e["Andrew S. Tanenbaum"] = e["Tanenbaum"] = "Tanenbaum@\\textsc{Tanenbaum, Andrew S.}";
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
85 e["Kenneth R. van Wyk"] = e["van Wyk"] = "van Wyk@\\textsc{van Wyk, Kenneth R.}";
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
86 e["Christian Langbein"] = e["Langbein"] = "Langbein@\\textsc{Langbein, Christian}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
87 e["Dad"] = "Schnalke@\\textsc{Schnalke, R\\\"udiger}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
88 e["Hans-J\\\"org Schaaf"] = e["Schaaf"] = "Schaaf@\\textsc{Schaaf, Hans-J\\\"org}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
89 e["Henry Atting"] = e["Atting"] = "Atting@\\textsc{Atting, Henry}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
90 e["Heraclitus"] = "Heraclitus@\\textsc{Heraclitus}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
91 e["James Stenard"] = e["Stenard"] = "Stenard@\\textsc{Stenard, James}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
92 e["Joachim Breitner"] = e["Breitner"] = "Breitner@\\textsc{Breitner, Joachim}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
93 e["Jochen Roth"] = e["Roth"] = "Roth@\\textsc{Roth, Jochen}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
94 e["Julian Forster"] = e["Forster"] = "Forster@\\textsc{Forster, Julian}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
95 e["Lydi"] = "Steffan@\\textsc{Steffan, Lydi}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
96 e["Marc Geis"] = e["Geis"] = "Geis@\\textsc{Geis, Marc}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
97 e["Markus Sch\\\"affter"] = e["Sch\\\"affter"] = "Schaeffter@\\textsc{Sch\\\"affter, Markus}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
98 e["Roger Schietzel"] = e["Schietzel"] = "Schietzel@\\textsc{Schietzel, Roger}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
99 e["Stephen C. Johnson"] = e["Johnson"] = "Johnson@\\textsc{Johnson, Stephen C.}";
373
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
100 e["Wietse Venema"] = e["Venema"] = "Venema@\\textsc{Venema, Wietse}";
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
101 e["Volkmar Kese"] = e["Kese"] = "Kese@\\textsc{Kese, Volkmar}";
408
ee7211546c02 added paragraph about hikernet; fixed some bib entries
meillo@marmaro.de
parents: 402
diff changeset
102 e["Wolfgang Leister"] = e["Leister"] = "Leister@\\textsc{Leister, Wolfgang}";
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
103
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
104
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
105 # subentries
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
106 s["sendmailx"] = "sendmail X";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
107 s["meta1"] = "MeTA1";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
108 s["smtp-after-pop"] = "\\NAME{SMTP}-after-\\NAME{POP}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
109 s["smtp-auth"] = "\\NAME{SMTP-AUTH}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
110
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
111
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
112 # aliases
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
113 a["ifdef"] = "ifdef|see{conditional compilation}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
114 a["envelope"] = "envelope|see{mail message}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
115 a["header"] = "header|see{mail message}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
116 a["body"] = "body|see{mail message}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
117 a["ssl"] = "ssl@\\NAME{SSL}|see{\\NAME{TLS}}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
118 a["forwarder"] = "forwarder|see{relay-only \\NAME{MTA}}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
119 a["junk mail"] = "junk mail|see{spam}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
120 a["fax"] = "fax|see{telefax}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
121
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
122 }
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
123
373
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
124
d51894e48762 started indexing; mta -> MTA (many small changes)
meillo@marmaro.de
parents: 372
diff changeset
125
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
126 {
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
127 gsub(/\\ /, " ");
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
128 gsub(/\\nobreakspace \{\}/, " ");
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
129 gsub(/\\discretionary \{-\}\{\}\{\}/, "");
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
130
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
131 entry = $0
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
132 sub(/[^{]*{/, "", entry);
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
133 sub(/[}!].*/, "", entry);
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
134 if (e[entry]) {
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
135 sub(/{[^}!]*/, "{" e[entry]);
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
136 }
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
137
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
138 subentry = $0
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
139 sub(/[^!]*!/, "", subentry);
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
140 sub(/}.*/, "", subentry);
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
141 if (s[subentry]) {
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
142 sub(/![^}]*/, "!" s[subentry]);
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
143 }
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
144
372
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
145 print;
6477e7827617 added scripts for improved index generation and complete bibtex generation
meillo@marmaro.de
parents:
diff changeset
146 }
402
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
147
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
148
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
149
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
150 END {
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
151 # aliases
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
152 for (i in a) {
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
153 print "\\indexentry{" a[i] "}{0}";
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
154 }
e57129f57faa finished the indexing in a huge last effort
meillo@marmaro.de
parents: 373
diff changeset
155 }