X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMakefile;h=f9897ec7943587aacc079e6206ac25a5801521b9;hb=1652681b5eb49332f1c78e6c26d3ae5c7253d382;hp=10c672526b6b7f8152ca9e7024d0ac2620781ade;hpb=6257568fc15a2f69c356a3e2d367a79143ed893b;p=helm.git diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index 10c672526..f9897ec79 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -24,8 +24,8 @@ MODULES = \ metadata \ library \ acic_content \ - grafite \ ng_kernel \ + grafite \ ng_cic_content \ content_pres \ cic_unification \