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}
;;
esac
+# 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"
+then
+ texi=`echo $texi | sed -e 's,^\([a-zA-Z]\):/,/dev/\1/,'`
+fi
# generate a list of events that can be observed