X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fcomponents%2Flibrary%2F.depend;h=2cf0d42135f4b7121b3898542b693451ef444599;hp=7af1a906e47c519bd66461b8e09c31fef64fbf2d;hb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;hpb=f00a612006ac05f49a42ab507a95d3298bc1457a diff --git a/matita/components/library/.depend b/matita/components/library/.depend index 7af1a906e..2cf0d4213 100644 --- a/matita/components/library/.depend +++ b/matita/components/library/.depend @@ -1,9 +1,15 @@ -librarian.cmo : librarian.cmi -librarian.cmx : librarian.cmi +librarian.cmo : \ + librarian.cmi +librarian.cmx : \ + librarian.cmi librarian.cmi : -libraryClean.cmo : libraryClean.cmi -libraryClean.cmx : libraryClean.cmi +libraryClean.cmo : \ + libraryClean.cmi +libraryClean.cmx : \ + libraryClean.cmi libraryClean.cmi : -libraryMisc.cmo : libraryMisc.cmi -libraryMisc.cmx : libraryMisc.cmi +libraryMisc.cmo : \ + libraryMisc.cmi +libraryMisc.cmx : \ + libraryMisc.cmi libraryMisc.cmi :