I got this information from here:
https://askubuntu.com/questions/27097/how-to-print-a-regular-file-to-pdf-from-command-line
where are shown other ways, too.
Best
Hans