From 521656bc5fb7a19112d3ba42af79fb21a6ba88fd Mon Sep 17 00:00:00 2001
From: Cedric RICARD <cedric.ricard@calexium.com>
Date: Tue, 22 Jan 2013 21:19:06 +0000
Subject: [PATCH] Add helper to transform a list of CSS_File to list HTML_Head_Tag Add helper to transform a list of JS_File to list HTML_Head_Tag

---
 web/CXM_making_a_web_site.anubis | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis
index 35e633d..c025f64 100644
--- a/web/CXM_making_a_web_site.anubis
+++ b/web/CXM_making_a_web_site.anubis
@@ -1050,7 +1050,21 @@ public type HTML_Partial_Content:
     HTML_Off_Form
   )
   .
-   
+
+public define List(HTML_Head_Tag)
+  to_HTML_Head_Tag
+  (
+    List(CSS_File) css_file_list
+  )=
+  map((CSS_File css_f) |-> css(css_f), css_file_list).
+
+public define List(HTML_Head_Tag)
+  to_HTML_Head_Tag
+  (
+    List(JS_File) js_file_list
+  )=
+  map((JS_File js_f) |-> js(js_f), js_file_list).
+  
 public type HTML_In_Form:
    literal_pt            (Printable_tree), 
    literal               (String), 
--
libgit2 0.21.4