X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMakefile;h=3303e7a5996d0d57e642dd32fc0c7eaa30ce124a;hb=11b2157bacf59cfc561c2ef6f92ee41ee2c1a006;hp=f9897ec7943587aacc079e6206ac25a5801521b9;hpb=4514417676056e0be6cc481a931e70a627882867;p=helm.git diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index f9897ec79..3303e7a59 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -23,8 +23,8 @@ MODULES = \ cic_exportation \ metadata \ library \ - acic_content \ ng_kernel \ + acic_content \ grafite \ ng_cic_content \ content_pres \