summaryrefslogtreecommitdiff
path: root/obsolete/macros/latex209/contrib/vdm/vdmindex
diff options
context:
space:
mode:
Diffstat (limited to 'obsolete/macros/latex209/contrib/vdm/vdmindex')
-rw-r--r--obsolete/macros/latex209/contrib/vdm/vdmindex17
1 files changed, 17 insertions, 0 deletions
diff --git a/obsolete/macros/latex209/contrib/vdm/vdmindex b/obsolete/macros/latex209/contrib/vdm/vdmindex
new file mode 100644
index 0000000000..a9008b3e22
--- /dev/null
+++ b/obsolete/macros/latex209/contrib/vdm/vdmindex
@@ -0,0 +1,17 @@
+#!/bin/sh
+#
+# vdmindex foo
+#
+# takes foo.idx and writes out type and function indexes on
+# typeidx.idx and fnidx.idx
+
+sed -e 's/\\unhbox \\voidb@x \\kern .06em\\vbox {\\hrule height.2exwidth.3em}\\penalty \\@postUnderPenalty \\hskip 0.1em/_/g' -e 's/@/\\sb /g' -e 's/\\atletter/@/g' \
+ $1.idx >/tmp/vdmidx$$
+cp /tmp/vdmidx$$ $1.idx
+rm -f /tmp/vdmidx$$
+egrep '({type-)|({rec-)' $1.idx |
+ sed -e 's/{type-/{/' -e 's/{rec-/{/' >typeidx.idx
+egrep '({fn-)|({op-)' $1.idx |
+ sed -e 's/{fn-/{/' -e 's/{op-/{/' >fnidx.idx
+makeindex typeidx.idx
+makeindex fnidx.idx