summaryrefslogtreecommitdiff
path: root/obsolete/macros/latex209/contrib/vdm/vdmindex
blob: a9008b3e222ac26d8a0c77e3ff66c280e9c709ff (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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