J'ai donc fait un script qui converti tous les gif en png...
#!/bin/sh
for fichier in *.gif
do
echo $fichier > nom
convert $fichier `sed -e [EMAIL PROTECTED]@[EMAIL PROTECTED] nom`
done
--
Amicalement vOOotre Troumad Alias Bernard SIAUD
mon site : http://troumad.info : AD&D maths
Bonjour
Pour récupérer les images d'un document, je l'ai sauvé en HTML. Le
format est le gif. J'aimerai du png. Ce format est-il modifiable aisément ?
J'ai essayé une conversion html et alors les dégâts de la conversion
netscape par défaut sont impressionnant sous FF 1.5.0.8... Pourquoi ne
p