Commit a60075ce authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-01-16 20:50:09 by cvscast] Petites modifs au web/index2.xml et web/macros2.xml - Beppe

Original author: cvscast
Date: 2003-01-16 20:50:09+00:00
parent 03891710
......@@ -19,7 +19,7 @@ let fun box (title : Any, subtitle : Any, name : Any, content : XML) : XML =
]];;
let fun convert (XML_elem | Char | XML | PHP -> XML)
| <php> s -> "<?php" @ s @ "?>"
| (<php>_) & x -> [ x ]
| <box ({ title=t }
& ({ subtitle=st } | (st := `nil))
& ({ link=name } | (name := `nil)) )>x ->
......@@ -44,7 +44,9 @@ let out : String =
[ '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">' ]
@
(transform convert src with x -> print_xml x);;
(transform convert src with
x -> print_xml x);;
dump_to_file "index.php" out;;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment