From 2fb0826f23dab3d5b8d993bbc227a51bd0463865 Mon Sep 17 00:00:00 2001 From: dons Date: Sun, 25 Dec 2005 23:43:13 +0000 Subject: [PATCH] resync configure --- configure | 12 ++++++------ configure.ac | 6 +++--- 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/configure b/configure index f61d743..573120c 100644 --- a/configure +++ b/configure @@ -1548,8 +1548,8 @@ echo "${ECHO_T}no" >&6 fi if test -z "$TEX" ; then - { echo "$as_me:$LINENO: WARNING: You'll need tex if you wish to build the documentation" >&5 -echo "$as_me: WARNING: You'll need tex if you wish to build the documentation" >&2;} + { echo "$as_me:$LINENO: WARNING: tex is needed to build some of the documentation" >&5 +echo "$as_me: WARNING: tex is needed to build some of the documentation" >&2;} fi # Extract the first word of "tex2page", so it can be a program name with args. set dummy tex2page; ac_word=$2 @@ -1587,10 +1587,10 @@ echo "${ECHO_T}no" >&6 fi if test -z "$TEX2PAGE" ; then - { echo "$as_me:$LINENO: WARNING: You'll need tex2page if you wish to build the - documentation: http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&5 -echo "$as_me: WARNING: You'll need tex2page if you wish to build the - documentation: http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&2;} + { echo "$as_me:$LINENO: WARNING: tex2page is needed to build some of the documentation + http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&5 +echo "$as_me: WARNING: tex2page is needed to build some of the documentation + http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html" >&2;} fi ac_ext=c diff --git a/configure.ac b/configure.ac index 4c118f5..7c825a2 100644 --- a/configure.ac +++ b/configure.ac @@ -124,12 +124,12 @@ AC_SUBST(HASKELL_SRC) AC_CHECK_PROG(TEX,tex,tex) if test -z "$TEX" ; then - AC_MSG_WARN(You'll need tex if you wish to build the documentation) + AC_MSG_WARN(tex is needed to build some of the documentation) fi AC_CHECK_PROG(TEX2PAGE,tex2page,tex2page) if test -z "$TEX2PAGE" ; then - AC_MSG_WARN(You'll need tex2page if you wish to build the - documentation: http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html) + AC_MSG_WARN(tex2page is needed to build some of the documentation + http://www.ccs.neu.edu/home/dorai/tex2page/tex2page-doc.html) fi AC_CHECK_FUNCS(arc4random)