Obtener un PDF de un documento de texto

Lo que tenemos que hacer es, a la hora de guardar, elegir guardarlo como PDF.

También existen programas online para convertirlo a PDF.