The file extension of the output file will determine the file type. So if you want to generate a PDF, simply use something like output.pdf. Further command line arguments can be inquired with ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback