diff --git a/legacy/elementary/configure.ac b/legacy/elementary/configure.ac
index e7e61808e3..72e1c47e47 100644
--- a/legacy/elementary/configure.ac
+++ b/legacy/elementary/configure.ac
@@ -767,6 +767,11 @@ echo "Tests......................: no"
 else
 echo "Tests......................: make check"
 fi
+if test "${build_doc}" = "no"; then
+echo "Docs.......................: no (doxygen not found)"
+else
+echo "Docs.......................: make doc"
+fi
 echo
 echo "Installation...............: make install (as root if needed, with 'su' or 'sudo')"
 echo "  prefix...................: $prefix"