fi
fi
+if test $TERM_EDITOR = "tex"; then
+ CHOSEN_TERM_EDITOR="include TexTermEditor"
+else
+ if test $TERM_EDITOR = "textual"; then
+ CHOSEN_TERM_EDITOR="include TermEditor"
+ else
+ AC_MSG_ERROR(unknwon term editor $TERM_EDITOR)
+ fi
+fi
+
AC_SUBST(CHOSEN_TERM_EDITOR)
AC_SUBST(CHOSEN_TERM_PARSER)
AC_SUBST(CHOSEN_TRANSFORMER)
chosenTransformer.ml
chosenTermEditor.ml
disambiguatingParser.ml
+ Makefile
])