+dnl check for robodoc if enabled
+dnl ----------------------------
+if test "$enable_auto_documentation" = yes; then
+ AC_CHECK_PROG(ROBODOC, robodoc, "robodoc", "")
+ if test "$ROBODOC" != "robodoc"; then
+ AC_MSG_ERROR(need robodoc for auto documentation (IPD: module add robodoc))
+ fi
+fi
+