# HG changeset patch
# User meillo@marmaro.de
# Date 1233428878 -3600
# Node ID 6477e782761707b402495c9493bacd29fa8d5ae6
# Parent  44a3188bf6d210cd8cc12e78a3884d01a897ac99
added scripts for improved index generation and complete bibtex generation

diff -r 44a3188bf6d2 -r 6477e7827617 thesis/latexmkrc
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thesis/latexmkrc	Sat Jan 31 20:07:58 2009 +0100
@@ -0,0 +1,2 @@
+$makeindex = './scripts/improve-index.sh';
+$bibtex = './scripts/complete-bibtex.sh';
diff -r 44a3188bf6d2 -r 6477e7827617 thesis/scripts/complete-bibtex.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thesis/scripts/complete-bibtex.sh	Sat Jan 31 20:07:58 2009 +0100
@@ -0,0 +1,16 @@
+#!/bin/sh
+#
+# run bibtex also on the web bib
+
+echo "complete-bibtex.sh"
+echo "@: $@"
+
+if [ $# -eq 0 ] ; then
+	echo "usage: $0 <bibinput> ..."
+	exit 1
+fi
+
+for i in "$@" web ; do
+	echo "processing $i"
+	bibtex "$i"
+done
diff -r 44a3188bf6d2 -r 6477e7827617 thesis/scripts/improve-index.awk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thesis/scripts/improve-index.awk	Sat Jan 31 20:07:58 2009 +0100
@@ -0,0 +1,21 @@
+#!/usr/bin/awk -f
+#
+# improve the index
+
+BEGIN{
+	ie["mta"] = "mail transfer agent (\\MTA)";
+	ie["mua"] = "mail user agent (\\MUA)";
+	ie["smtp"] = "simple mail transfer protocol (\\SMTP)";
+	ie["ietf"] = "Internet Engineering Task Force (\\NAME{IETF})";
+}
+
+{
+	cur = $0
+	sub("[^{]*{", "", cur);
+	sub("[}!].*", "", cur);
+	if (ie[cur]) {
+		#print ie[cur];
+		sub("{[^}!]*", "{" ie[cur]);
+	}
+	print;
+}
diff -r 44a3188bf6d2 -r 6477e7827617 thesis/scripts/improve-index.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thesis/scripts/improve-index.sh	Sat Jan 31 20:07:58 2009 +0100
@@ -0,0 +1,19 @@
+#!/bin/sh
+#
+# improve index source data and generate the index
+
+echo "improve-index.sh"
+echo "@: $@"
+
+if [ $# -eq 0 ] ; then
+	echo "usage: $0 <idxinput> ..."
+	exit 1
+fi
+
+for i in "$@" ; do
+	echo "processing $i.idx"
+	mv "$i.idx" "$i.unprocessed.idx"
+	<"$i.unprocessed.idx" `dirname $0`/improve-index.awk >"$i.idx"
+done
+
+makeindex "$@"