From 2af94b81b952606ff67804dbe2410d9b90080e1f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 21 Apr 2005 12:08:31 +0000 Subject: [PATCH] removed ancient indirections for gTopLevel --- helm/ocaml/configure.ac | 3 --- 1 file changed, 3 deletions(-) diff --git a/helm/ocaml/configure.ac b/helm/ocaml/configure.ac index 0651685f1..7c7d393a5 100644 --- a/helm/ocaml/configure.ac +++ b/helm/ocaml/configure.ac @@ -44,9 +44,6 @@ AC_MSG_RESULT($OCAMLFIND_META_DIR) AC_SUBST(OCAMLFIND) AC_SUBST(OCAMLFIND_DEST_DIR) AC_SUBST(OCAMLFIND_META_DIR) -AC_SUBST(CHOSEN_TERM_EDITOR) -AC_SUBST(CHOSEN_TERM_PARSER) -AC_SUBST(CHOSEN_TRANSFORMER) AC_OUTPUT([ Makefile -- 2.39.2