From ef2562ab1857abfda11b985fdaaaa432f1153c47 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 12 Jan 2006 13:41:37 +0000 Subject: [PATCH] !$%!%@$@$#@ --- helm/matita/configure.ac | 3 --- 1 file changed, 3 deletions(-) diff --git a/helm/matita/configure.ac b/helm/matita/configure.ac index fc4322e8d..9fe0ac1df 100644 --- a/helm/matita/configure.ac +++ b/helm/matita/configure.ac @@ -51,8 +51,6 @@ helm-paramodulation \ " FINDLIB_REQUIRES="\ $FINDLIB_CREQUIRES \ -lablgtk2.glade \ -lablgtkmathview \ helm-paramodulation \ " for r in $FINDLIB_REQUIRES @@ -120,7 +118,6 @@ AC_SUBST(FINDLIB_DEPREQUIRES) AC_SUBST(FINDLIB_CLEANREQUIRES) AC_SUBST(FINDLIB_MAKEREQUIRES) AC_SUBST(HAVE_OCAMLOPT) -AC_SUBST(LABLGLADECC) AC_SUBST(OCAMLFIND) AC_SUBST(RT_BASE_DIR) AC_SUBST(MATITA_VERSION) -- 2.39.2