X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;fp=helm%2FgTopLevel%2FMakefile;h=3904c6d22fda3aeeffb81b7eb914bdda23aa18b6;hb=63f211d673ba5a9eb05b0bdad2585e2b251f2baa;hp=bcf0b74ff0500dae449d09a1418889038730b7a2;hpb=7dbfe197294523c1178dc4f3a126602fa48fbb00;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index bcf0b74ff..3904c6d22 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -23,9 +23,9 @@ stop:
 
 INTERFACE_FILES = \
 	proofEngine.mli logicalOperations.mli oldDisambiguate.mli \
-  disambiguatingParser.mli termEditor.mli xmlDiff.mli chosenTransformer.mli \
-  termViewer.mli invokeTactics.mli hbugs.mli chosenTermEditor.mli 
-# texTermEditor.mli
+  disambiguatingParser.mli termEditor.mli texTermEditor.mli xmlDiff.mli \
+  chosenTransformer.mli termViewer.mli invokeTactics.mli hbugs.mli \
+  chosenTermEditor.mli 
 
 DEPOBJS = $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.ml) gTopLevel.ml