Quelques infos dans le répertoire extras

diff --git a/extras/index.xml b/extras/index.xml
index 5d225e6..90dff69 100644 (file)
--- a/extras/index.xml
+++ b/extras/index.xml
@@ -1,3 +1,10 @@
 <simple encoding="utf-8">
- <titre h="3">Extras</titre>
+ <titre>Extras</titre>
+ <div id="Infos">
+ <p>Ce répertoire contient des fichiers (définitions de couleurs, tables de caractères) en référence à
+ des éléments utilisés dans la confection des cartes du projet.</p>
+ <p>La table de caractères <i>latin1</i> est insuffisante pour les langues européennes (il manque en
+ particulier les signes &#8364; et &oelig;), la table <i>latin9</i> est plus complète; il faut toutefois
+ introduire un vecteur d'encodage dans les fichiers postscript pour l'utiliser.</p>
+ </div>
 </simple>
\ No newline at end of file