I'm assuming you are a Windows user, and also assuming you aren't on Windows 10 because it should be built-in there, but I would recommend getting a "printer" shell extension to save as PDF. That's what I always did back when I used Windows.