produce the .pdf file on the command line