% texexec.top \unprotect \setupsystem[file=pdfselect] \setupoutput[pdftex] \batchmode \setupsystem[\c!directory={/home/karl/}] \setupsystem[\c!n=3] \setupsystem[inputfile=texexec.tex] \protect