Man pages are already built in the release tarball, so we don't need latex2man.
--
diff --git a/configure b/configure
index 86c8126..989bcc2 100755
--- a/configure
+++ b/configure
@@ -18556,7 +18556,7 @@ fi
 if test "x$LATEX2MAN" = "x" && test "x$enable_documentation" = "xyes"; then
   { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: latex2man not found. Install latex2man. Disabling docs." >&5
 $as_echo "$as_me: WARNING: latex2man not found. Install latex2man. Disabling docs." >&2;}
-  enable_documentation="no";
+  enable_documentation="yes";
 fi
 
  if test x$enable_documentation = xyes; then