pconfig.cmo : pconfig.cmi
pconfig.cmx : pconfig.cmi
pconfig.cmi :
warnings.cmi :
