simplexmlparser.cmo: simplexmlparser.cmi 
simplexmlparser.cmx: simplexmlparser.cmi 
xhtmlsyntax.cmo: xhtmlparser.cmo 
xhtmlsyntax.cmx: xhtmlparser.cmx 
