diff thesis/scripts/improve-index.sh @ 372:6477e7827617

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
line wrap: on
line diff
--- /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 "$@"