- pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
- @rm -f ${TMPFILES}
+ @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+ @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+ @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null
+ @pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}' > /dev/null