avec sed:
oups! erreur de copier-coller
changer le 2e wget pour http://.../iso2html.sed
^^^^^^^^
pour installer:
su #pour installer globalement
cd /usr/local/bin #ou autre
wget http://spazioweb.inwind.it/seders/scripts/html2iso.sed -O html2iso
wget http://spazioweb.inwind.it/seders/scripts/iso2html.sed -O iso2html
chmod +x html2iso iso2html
logout