Remplacement de toutes les phrases du style « Dernière modification le
... [par ...] » par <date value="from git" />, qui produit une phrase du
genre à partir de l'historique du dépôt. Le « from git » n'a pas
d'importance, c'est juste parce que la DTD de TML (que je préfère ne pas
changer) exige un attribut value.
Last-change: ignore this commit
1) insertion de balises <date value="$Date$"/>
2) remplacement des espaces insécables par des
3) insertion d'espaces insécables autour des guillemets français
Page sur l'accès aux supports de données amovibles. Supersede le
disquettes.html, car la méthode est différente sur les PCs, et il y a
maintenant une interface graphique aux mtools sur les suns.