#!/bin/sh
# $Id: dosfopTexindex 615 2010-09-30 15:49:42Z florenz@TU-BERLIN.DE $
# surrounds each call to texindex by a call to fixtexindexpre and 
# fixtexindexpost

tex_index=$TRUETEXINDEX

if [ -z "$TRUETEXINDEX" ] ; then
tex_index=texindex
fi

$DOSFOP/bin/fixtexindexpre $*
$tex_index $*
$DOSFOP/bin/fixtexindexpost $*
