PDF printing in ubuntu with cups:
---------------------------------
sudo apt install printer-driver-cups-pdf

https://packages.debian.org/stretch/printer-driver-cups-pdf