########################################################################
#
# $Revision: 1.1 $, $Date: 1997/11/05 21:33:20 $
########################################################################

Newer {bras.dvi bras.aux} bras.tex {
  latex bras
  latex bras
}

Newer bras.ps bras.dvi {
  dvips bras
}
