typeset.bash script now closes only the .pdf file of interest to us.