X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=6bdba1baff31adaccce39610dac044f0d3499c32;hb=46130301df20269f9b30ed5d61fdd5d2dedb2c23;hp=d09395eab4eefbf860769a527adacf17ee61004a;hpb=7a060397679753a0233139b1ba83ac83c2c49949;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index d09395eab..6bdba1baf 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -38,8 +38,8 @@ MLI = \
 	matitaInit.mli		\
 	matitaGtkMisc.mli	\
 	matitaAutoGui.mli	\
-	matitaScript.mli	\
 	virtuals.mli 		\
+	matitaScript.mli	\
 	predefined_virtuals.mli \
 	matitaMathView.mli 	\
 	matitaGui.mli		\