ocsipersist.cmo : ../../server/ocsigen_extensions.cmi ocsipersist.cmi
ocsipersist.cmx : ../../server/ocsigen_extensions.cmx ocsipersist.cmi
ocsipersist.cmi :
