From 159d26ee7db650252660533c818d389d62f63df3 Mon Sep 17 00:00:00 2001 From: djcb Date: Mon, 19 Mar 2012 00:16:24 +0200 Subject: [PATCH] * configure.ac: add warning if makeinfo is missing --- configure.ac | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/configure.ac b/configure.ac index e08e8618..cfea070b 100644 --- a/configure.ac +++ b/configure.ac @@ -45,6 +45,11 @@ AC_CHECK_HEADERS([locale.h langinfo.h]) # use the 64-bit versions AC_SYS_LARGEFILE +# check for makeinfo +AC_CHECK_PROG(have_makeinfo,makeinfo,yes,no) +AM_CONDITIONAL(HAVE_MAKEINFO,test "x$have_makeinfo" = "xyes") + + # we need some special tricks for filesystems that don't have d_type; # e.g. Solaris. See mu-maildir.c. Explicitly disabling it is for @@ -326,8 +331,15 @@ echo "Have direntry->d_type : $use_dirent_d_type" echo "-----------------------------" echo +if test "x$have_makeinfo" != "xyes"; then + echo "You do not seem to have the makeinfo program; if you are building from git" + echo "you need that to create documentation for guile and emacs. It is in the" + echo "texinfo package in debian/ubuntu (ie., apt-get install texinfo)" +fi + + if test "x$buildgui" = "xyes"; then -echo "The demo UIs are in toys/mug and toys/mug2" + echo "The demo UIs are in toys/mug and toys/mug2" if test "x$gui" = "xgtk3"; then echo "Note that mug2 will *not* work with gtk+3, because it depends" echo "on libraries that use gtk+2, and the two can't be in one process"