Vous pouvez convertir un document en PDF en « l’imprimant » dans un fichier.
Phil Bull
philbull@gmail.com
Anna Philips
anna.cs.au@gmail.com

Creative Commons Share Alike 3.0

Jonathan Ernst
jonathan@ernstfamily.ch 2006, 2007
Claude Paroz
claude@2xlibre.net 2006-2008
Bruno Brouard
annoa.b@gmail.com 2011-2012
Mickael Albertus
mickael.albertus@gmail.com 2012-2013
Michael Scherer
misc@zarb.org 2014
Leonor Palazzo
leonor.palazzo@gmail.com 2015
Guillaume Bernard
associations@guillaume-bernard.fr 2018
J-Paul Bérard
arverne@wanadoo.fr 2019
Charles Monzat
charles.monzat@free.fr 2020

# Conversion d’un document en PDF

Vous pouvez convertir des documents des types de format suivants en PDF :

Format de fichier Device Independent (.dvi)

PostScript (.ps)

Il suffit d’ouvrir le fichier dans le Visionneur de documents et « d’imprimer » le document en tant que fichier PDF.

Ouvrez le menu Options des fichiers situé dans le coin supérieur droit et sélectionnez Imprimer, ou appuyez sur les touches CtrlP.

Choisissez Imprimer dans un fichier et choisissez PDF comme Format de sortie.

Choisissez un nom et un dossier où enregistrer le fichier, puis cliquez sur Imprimer. Le PDF est enregistré dans le dossier que vous avez sélectionné.

Vous ne pouvez pas sélectionner du texte dans des fichiers PostScript ou .dvi mais vous pouvez en général le faire dans les fichiers PDF. La conversion de fichiers PostScript ou .dvi en PDF ne permet pas de rendre le texte sélectionnable. La raison est que le texte lui-même n’est pas enregistré dans le fichier (c’est juste un dessin à l’image du texte) donc il n’y a pas de moyen de le récupérer et de le mettre dans le PDF. Vous pouvez utiliser un logiciel de Reconnaissance optique de caractères (ROC ou OCR en anglais) pour extraire le texte du fichier si vous en avez le besoin.