diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index c207463..3d5e9c6 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/web/CXM_making_a_web_site.anubis @@ -594,8 +594,6 @@ public type Web_Site:... 'public' and 'journal'. - - ** (2.3) Web servers parameters. The web servers have several parameters useful for administration. They are described @@ -604,9 +602,6 @@ public type Web_Site:... public type WebServersParameters: wsparms(Var(Bool) shutdown_required, - - - ** (2.4) Starting your web sites. When you have described all your web sites (you may want to have several web sites, and @@ -663,11 +658,6 @@ public define Start_Web_Sites_Result containing 'false' otherwise your servers will not run. You may also use the primitive 'must_restart' (see 'predefined.anubis') to control the restarting of your servers. - - - - - * (3) The HTML interface. We propose an interface to dynamic HTML. Dynamic HTML includes HTML, and a combination @@ -681,14 +671,6 @@ public define Start_Web_Sites_Result interface, and we comment them immediately. //public type HTML_Off_Form:... - - - - - - - - public define Printable_tree [HTML_Id x . Printable_tree y] = str_pt(x.id, y). @@ -697,10 +679,6 @@ public define Printable_tree [WebArgName x . Printable_tree y] = str_pt(x.name public define Printable_tree [WebArgValue x . Printable_tree y] = str_pt(x.value, y). public define Printable_tree [InitialValue x . Printable_tree y] = str_pt(x.value, y). - - - - public define CoreAttrs attr(String name, Bool value) = attr(name, if value then "true" else "false"). @@ -904,11 +882,11 @@ public define HTML_Header_Row($T) header_row([],cells). public define HTML_Header_Row($T) - header_row - ( - HTML_Header_Cell($T) cell - ) = - header_row([],[cell]). + header_row + ( + HTML_Header_Cell($T) cell + ) = + header_row([],[cell]). @@ -937,12 +915,12 @@ public define Actioner_Aspect public define Actioner_Aspect - link - ( - List(Text_Option) options, - String text - ) = - link(options, text, failure). + link + ( + List(Text_Option) options, + String text + )= + link(options, text, failure). public define Actioner_Aspect link @@ -997,27 +975,8 @@ public define String aural then "aural", all then "all" }. - - - . -public define CSS_File - css_file - ( - String file_name - )= - css_file(file_name, all). - - - -public define JS_File - js_file - ( - String file_name - ) = - js_file(file_name, []). - //public type HTML_Meta:... diff --git a/web/types/making_a_web_site.anubis b/web/types/making_a_web_site.anubis index 5afa290..d9bd07f 100644 --- a/web/types/making_a_web_site.anubis +++ b/web/types/making_a_web_site.anubis @@ -151,7 +151,10 @@ public type JS_File: public type Script: script( String script_type, String content). - + +public define JS_File js_file(String file_name) = js_file(file_name, []). +public define CSS_File css_file(String file_name)= css_file(file_name, all). + public type CoreAttrs:... public type HTML_Partial_Content:... public type HTML_Body:... -- libgit2 0.21.4