informational page on ground_1

[helm.git] / helm / www / lambdadelta / web / home / sitemap.tbl

diff --git a/helm/www/lambdadelta/web/home/sitemap.tbl b/helm/www/lambdadelta/web/home/sitemap.tbl
index 8d6b24e85cfd0a97fbaf922669ef4c33068e4ec2..e3c2b05256f74723701a1bb3e9c5f05bb3f9cb72 100644 (file)
--- a/helm/www/lambdadelta/web/home/sitemap.tbl
+++ b/helm/www/lambdadelta/web/home/sitemap.tbl
@@ -24,7 +24,8 @@ table [
         @@("apps_2" "applications") ^ ")"
       * ]
       [ @@("specification#v1" "version 1")
-        "(" ^ @@("basic_1" "core") ^ ")"
+        "(" ^ @@("ground_1" "background") + "-" + 
+        @@("basic_1" "core") ^ ")"
         "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")"
       * ]
    }