X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fconfigure.ac;h=27d1ac8df601b30f112d106cb36f7b91607b64fa;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=2cddc9dbed4004cdcb28b09eba877e14c09bcdd2;hpb=db380975055d3e4bc3668adba56f693aa8f0968f;p=helm.git

diff --git a/helm/gTopLevel/configure.ac b/helm/gTopLevel/configure.ac
index 2cddc9dbe..27d1ac8df 100644
--- a/helm/gTopLevel/configure.ac
+++ b/helm/gTopLevel/configure.ac
@@ -60,20 +60,6 @@ else
   fi
 fi
 
-AC_ARG_WITH(transformer,
-	      AS_HELP_STRING([--with-transformer=(xslt|ocaml)],
-			     [choose mathml transformer (default is ocaml)]),
-	      [TRANSFORMER=$withval], [TRANSFORMER=ocaml])
-if test $TRANSFORMER = "xslt"; then
-  CHOSEN_TRANSFORMER="include ApplyStylesheets"
-else
-  if test $TRANSFORMER = "ocaml"; then
-    CHOSEN_TRANSFORMER="include ApplyTransformation"
-  else
-    AC_MSG_ERROR(unknwon transformer $TRANSFORMER)
-  fi
-fi
-
 if test $TERM_EDITOR = "tex"; then
   CHOSEN_TERM_EDITOR="include TexTermEditor"
 else
@@ -87,10 +73,8 @@ fi
 AC_SUBST(OCAMLFIND)
 AC_SUBST(CHOSEN_TERM_EDITOR)
 AC_SUBST(CHOSEN_TERM_PARSER)
-AC_SUBST(CHOSEN_TRANSFORMER)
 
 AC_OUTPUT([
-  chosenTransformer.ml
   chosenTermEditor.ml
   disambiguatingParser.ml
   Makefile