pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'
pdfjadetex '\pdfcompresslevel=9' '\input ${TEXFILE}'