Il tuo amico utilizza una stampante virtuale, tipo PDF Creator.
Installala anche tu, poi da File > Stampa troverai oltre alla stampante tradizionale anche PDF Creator, che appunto fa quello che cerchi.