If you don't see PDF as an output option, choose Feeder as the source. that made PDF show in the File Type box for me.
The reason I tried this was because none of the other options (JPEG, for example) allow multiple pages per file, PDF does, and a document feeder generally supports multiple pages.
- Yellow C.