matitaExcPp.mli \
matitaInit.mli \
$(NULL)
+WMLI = \
+ matitaTypes.mli \
+ matitaMisc.mli \
+ applyTransformation.mli \
+ matitaEngine.mli \
+ matitaExcPp.mli \
+ matitaInit.mli \
+ matitaAuthentication.mli \
+ $(NULL)
MAINCMLI = \
matitaclean.mli \
$(NULL)
ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
# objects for matitac (batch compiler)
CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
-WML = matitaAuthentication.ml $(CML)
+WML = buildTimeConf.ml $(WMLI:%.mli=%.ml)
MAINCML = $(MAINCMLI:%.mli=%.ml)
PROGRAMS_BYTE = \