After reloading a session and setting the pdf output under global options to on, no pdfs are created.
After reloading a session and setting the pdf output under global options to on, no pdfs are created.