X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=a126ab8accf1f0fec7ef97beac1bfea3537843f2;hb=ff5659b6ee47292a33c84b0889b5d66d729397f6;hp=a317e78e133abe4dbbe4bf8d10f67d846f9b493e;hpb=34eeba761a4b94cc261e53021c45dc8379854fd1;p=helm.git diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile index a317e78e1..a126ab8ac 100644 --- a/helm/software/matita/Makefile +++ b/helm/software/matita/Makefile @@ -224,7 +224,7 @@ dist_library@%: endif -dist_pre: +dist_pre: matitaGeneratedGui.ml matitaGeneratedGui.mli $(MAKE) -C dist/ dist_pre DESTDIR = $(RT_BASE_DIR)