/[svn]/web/site.cd
ViewVC logotype

Diff of /web/site.cd

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 369 by abate, Tue Jul 10 17:29:02 2007 UTC revision 370 by abate, Tue Jul 10 17:29:11 2007 UTC
# Line 74  Line 74 
74    
75  (* Highlighting text between {{...}} *)  (* Highlighting text between {{...}} *)
76    
77  let fun highlight (String -> [ (Char | Xvar)* ] )  let fun highlight (String -> [ (Char | Xvar | Xi)* ] )
78   | [ '{{' h ::(Char *?) '}}' ; rest ] ->   | [ '{{' h ::(Char *?) '}}' ; rest ] ->
79            [ <var class="highlight">h; highlight rest ]            [ <var class="highlight">h; highlight rest ]
80     | [ '{/{' h ::(Char *?) '}}' ; rest ] ->
81              [ <i>h; highlight rest ]
82   | [ c; rest ] -> [ c; highlight rest ]   | [ c; rest ] -> [ c; highlight rest ]
83   | [] -> [];;   | [] -> [];;
84    
# Line 270  Line 272 
272     [ '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"'     [ '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"'
273       '  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">'       '  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">'
274       !(patch_css (print_xml html)) ] in       !(patch_css (print_xml html)) ] in
275   dump_to_file (name @ ".html.php") txt;;   dump_to_file (name @ (if php then ".html.php" else ".html")) txt;;
276    
277  let fun gen_page_seq  let fun gen_page_seq
278   (prev : Page|[], pages : [Page*], next : Page|[],   (prev : Page|[], pages : [Page*], next : Page|[],
Legend:
Removed from v.369  
changed lines
  Added in v.370
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5