for dtx in *.dtx; do
  drv="`basename \"$dtx\" .dtx`.drv"
  dvi="`basename \"$drv\" .drv`.dvi"
  echo tex "$dtx" &&
  tex "$dtx" &&
  echo latex "$drv" '&&' latex "$drv" &&
  latex "$drv" && latex "$drv" &&
  echo dvipdfmx "$dvi" &&
  dvipdfmx "$dvi"
done &&
rm -f *.aux *.tmp