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