xhtmlpretty.cmo: ohl-xhtml/xML.cmi ohl-xhtml/xHTML.cmi ../http/ocsistream.cmi \
    xhtmlpretty.cmi 
xhtmlpretty.cmx: ohl-xhtml/xML.cmx ohl-xhtml/xHTML.cmx ../http/ocsistream.cmx \
    xhtmlpretty.cmi 
