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

Diff of /web/site.cd

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

revision 1374 by abate, Tue Jul 10 18:41:21 2007 UTC revision 1375 by abate, Tue Jul 10 18:43:52 2007 UTC
# Line 278  Line 278 
278   let text (t : [InlineText*]) : H:Inlines =   let text (t : [InlineText*]) : H:Inlines =
279    transform t with    transform t with
280     | <code>x -> [ <b>[ <tt>(highlight x) ] ]     | <code>x -> [ <b>[ <tt>(highlight x) ] ]
281     | <local href=l>txt -> [ (local_link (sitemap,l,txt)) ]     | <local href=l>txt ->
282            [ (local_link (sitemap,l,txt)) ]
283     | <(tag & (`b|`i|`tt|`em)) (attr)>x -> [ <(tag) (attr)>(text x) ]     | <(tag & (`b|`i|`tt|`em)) (attr)>x -> [ <(tag) (attr)>(text x) ]
284     | <footnote nocount=_>_ ->     | <footnote nocount=_>_ ->
285        let n = string_of !footnote_counter in        let n = string_of !footnote_counter in
# Line 497  Line 498 
498   | [ <site>[ <title>(site & String) (p & Page) ] ] ->   | [ <site>[ <title>(site & String) (p & Page) ] ] ->
499     let _ = gen_page (site,[],p,[], [], compute_sitemap p) in []     let _ = gen_page (site,[],p,[], [], compute_sitemap p) in []
500   | _ -> raise ("Invalid input document " @ input)   | _ -> raise ("Invalid input document " @ input)
   
   
Legend:
Removed from v.1374  
changed lines
  Added in v.1375
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5