Page de garde pour la documentation (essai)

[mp-gdd.git] / web.xml

diff --git a/web.xml b/web.xml
index 4d7692b..75a0457 100644 (file)
--- a/web.xml
+++ b/web.xml
@@ -2,4 +2,8 @@
   <variable nom="WidthIcone">200</variable>
   <splash/>
   <ext_mp>vue?src=</ext_mp>
+  <menuweb>
+    <a href="/syracuse/metapost/">MetaPost</a>&nbsp;
+    <a href="../">Niveau supérieur</a>
+  </menuweb>
 </web>
\ No newline at end of file