From 5c8eb7066762fc4a864f9690f839933186ef54d5 Mon Sep 17 00:00:00 2001
From: "hartmut@mysql.com" <>
Date: Sun, 26 Sep 2004 15:27:13 +0200
Subject: added --without-man option similar to --without-docs (part of
 BUG#5379)

---
 configure.in | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'configure.in')

diff --git a/configure.in b/configure.in
index c3978ff32d1..37b0432b98d 100644
--- a/configure.in
+++ b/configure.in
@@ -2181,6 +2181,21 @@ else
 fi
 AC_SUBST(docs_dirs)
 
+# Shall we build the man pages?
+AC_ARG_WITH(man,
+    [  --without-man          Skip building of the man pages.],
+    [with_man=$withval],
+    [with_man=yes]
+)
+
+if test "$with_man" = "yes"
+then
+  man_dirs="man"
+else
+  man_dirs=""
+fi
+AC_SUBST(man_dirs)
+
 # Shall we build the bench code?
 AC_ARG_WITH(bench,
     [  --without-bench         Skip building of the benchmark suite.],
-- 
cgit v1.2.1