lang=$1 ; shift
texi=$1 ; shift
o=$1
-otmp="`echo $1 | sed -e 's,\.[^.]*$,,'`.tmp"; shift
+case $lang in
+ h) tmp=htmp ;;
+ inc) tmp=itmp ;;
+esac
+otmp="`echo $1 | sed -e 's,\.[^.]*$,,'`.$tmp"; shift
echo "Creating ${otmp}" 1>&2
rm -f ${otmp}
# We are about to set IFS=:, so DOS-style file names with a drive
# letter and a colon will be in trouble.
-if test -n $DJGPP
+if test -n "$DJGPP"
then
texi=`echo $texi | sed -e 's,^\([a-zA-Z]\):/,/dev/\1/,'`
fi