From 9720172d593b7bc44a655f7dd52e5c0699461c76 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 14 Dec 2006 18:14:07 +0000 Subject: [PATCH] ... --- components/content_pres/.depend | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/components/content_pres/.depend b/components/content_pres/.depend index cddd3d80f..5a5fbce64 100644 --- a/components/content_pres/.depend +++ b/components/content_pres/.depend @@ -32,10 +32,10 @@ content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \ cicNotationPres.cmx box.cmx content2pres.cmi content2Procedural.cmo: content2Procedural.cmi content2Procedural.cmx: content2Procedural.cmi -objPp.cmo: content2pres.cmi content2Procedural.cmi cicNotationPres.cmi \ - boxPp.cmi objPp.cmi -objPp.cmx: content2pres.cmx content2Procedural.cmx cicNotationPres.cmx \ - boxPp.cmx objPp.cmi +objPp.cmo: termContentPres.cmi content2pres.cmi content2Procedural.cmi \ + cicNotationPres.cmi boxPp.cmi objPp.cmi +objPp.cmx: termContentPres.cmx content2pres.cmx content2Procedural.cmx \ + cicNotationPres.cmx boxPp.cmx objPp.cmi sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \ box.cmi sequent2pres.cmi sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \ -- 2.39.2