X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=6bdba1baff31adaccce39610dac044f0d3499c32;hb=79ce67a7a7502462e827de098b1056516092c0a7;hp=1f9bff299acca32ee91ad27342b70eaec307a9b7;hpb=ea3b15fdedb39c72ae1b39f210917c6f38fc062d;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 1f9bff299..6bdba1baf 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -38,7 +38,9 @@ MLI = \
 	matitaInit.mli		\
 	matitaGtkMisc.mli	\
 	matitaAutoGui.mli	\
+	virtuals.mli 		\
 	matitaScript.mli	\
+	predefined_virtuals.mli \
 	matitaMathView.mli 	\
 	matitaGui.mli		\
 	$(NULL)