echo -n does not work with true /bin/sh. Use AC_MSG_CHECKING for docbook stuff.