- jadetex ${TEXFILE} > /dev/null
- jadetex ${TEXFILE} > /dev/null
- jadetex ${TEXFILE} > /dev/null
- jadetex ${TEXFILE} > /dev/null
+ @jadetex ${TEXFILE} > /dev/null
+ @jadetex ${TEXFILE} > /dev/null
+ @jadetex ${TEXFILE} > /dev/null
+ @jadetex ${TEXFILE} > /dev/null