+ALL_NORMAL_ML = \
+ applyTransformation.ml \
+ matitaclean.ml \
+ matitaFilesystem.ml \
+ matitaMathView.ml \
+ matitaTypes.ml \
+ buildTimeConf.ml \
+ matitac.ml \
+ matitaGeneratedGui.ml \
+ matitaMisc.ml \
+ predefined_virtuals.ml \
+ cicMathView.ml \
+ matitadaemon.ml \
+ matitaGtkMisc.ml \
+ virtuals.ml \
+ lablGraphviz.ml \
+ matitaEngine.ml \
+ matitaGui.ml \
+ matitaAuthentication.ml \
+ matitaExcPp.ml \
+ matitaInit.ml \
+ matitaScript.ml
+
+ALL_NORMAL_MLI = \
+ applyTransformation.mli \
+ matitaclean.mli \
+ matitaFilesystem.mli \
+ matitaMathView.mli \
+ matitaTypes.mli \
+ matitaMisc.mli \
+ predefined_virtuals.mli \
+ cicMathView.mli \
+ matitaGtkMisc.mli \
+ virtuals.mli \
+ lablGraphviz.mli \
+ matitaEngine.mli \
+ matitaGui.mli \
+ matitaGuiTypes.mli \
+ matitaScriptLexer.mli \
+ matitaAuthentication.mli \
+ matitaExcPp.mli \
+ matitaInit.mli \
+ matitaScript.mli
+
+ALL_SYNTAX_ML = matitaScriptLexer.ml
+ALL_SYNTAX_MLI = matitaScriptLexer.mli
+