diff --git a/configure b/configure index 5799aa52ebf..46ba89fd063 100755 --- a/configure +++ b/configure @@ -5108,9 +5108,9 @@ if test "$_pandoc" = yes ; then _pandoc = no fi + echo $_pandoc fi -echo $_pandoc define_in_config_if_yes $_pandoc 'USE_PANDOC' #