Eureka!

[helm.git] / helm / gTopLevel / Makefile

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index bcf0b74ff0500dae449d09a1418889038730b7a2..3904c6d22fda3aeeffb81b7eb914bdda23aa18b6 100644 (file)
--- 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