Browse Source

used $ for documentation node (clashes).

Nicolas Cannasse 20 years ago
parent
commit
d959048426
1 changed files with 1 additions and 1 deletions
  1. 1 1
      genxml.ml

+ 1 - 1
genxml.ml

@@ -34,7 +34,7 @@ let pmap f m =
 let gen_path (p,n) =
 let gen_path (p,n) =
 	("path",String.concat "." (p @ [n]))
 	("path",String.concat "." (p @ [n]))
 
 
-let gen_doc s = node "doc" [] [pcdata s]
+let gen_doc s = node "$doc" [] [pcdata s]
 
 
 let gen_doc_opt d =
 let gen_doc_opt d =
 	match d with 
 	match d with