diff options
Diffstat (limited to 'obsolete/macros/latex209/contrib/vdm/vdmindex')
-rw-r--r-- | obsolete/macros/latex209/contrib/vdm/vdmindex | 17 |
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 |