diff options
Diffstat (limited to 'indexing/makeindex/troff/makeind')
-rw-r--r-- | indexing/makeindex/troff/makeind | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/indexing/makeindex/troff/makeind b/indexing/makeindex/troff/makeind new file mode 100644 index 0000000000..a3621f0c6b --- /dev/null +++ b/indexing/makeindex/troff/makeind @@ -0,0 +1,23 @@ +#!/bin/sh + +extract="ptroff -ms -t" +grep=egrep +in=$1 +out=/dev/null +base=`echo $in | sed 's/\(.*\)\..*/\1/'` +idx=$base.idx +tmp=/tmp/$idx +cmd='^IX:' +sty = troff.ist + +echo -n "Extracting index terms from $in..." +$extract $in > $out 2> $tmp +echo "done" + +echo -n "Writing index terms to $idx..." +$grep $cmd $tmp > $idx +rm -f $tmp +echo "done" + +makeindex -s $sty $idx + |