X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flibrary%2F.depend;h=7af1a906e47c519bd66461b8e09c31fef64fbf2d;hb=8f1a123e61ff079b1f9ad63cc915470ec7e6abf3;hp=2cf0d42135f4b7121b3898542b693451ef444599;hpb=5b5dca0c118dfbe3ba8f0514ef07549544eb7810;p=helm.git diff --git a/matita/components/library/.depend b/matita/components/library/.depend index 2cf0d4213..7af1a906e 100644 --- a/matita/components/library/.depend +++ b/matita/components/library/.depend @@ -1,15 +1,9 @@ -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 :