From d0db00c80886c1b2b482ce06dedd9021d2b9a927 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20B=C5=93sch?= <u@pkh.me>
Date: Mon, 20 Mar 2017 10:45:18 +0100
Subject: [PATCH] configure: remove pod2man from the config list

The configure has the --disable-manpages option for this purpose, and
--disable-pod2man is currently ignored due to that. This is also
consistent with the other documentation options.
---
 configure | 1 -
 1 file changed, 1 deletion(-)

diff --git a/configure b/configure
index 9529d50b1f..c6eba84423 100755
--- a/configure
+++ b/configure
@@ -1702,7 +1702,6 @@ CONFIG_LIST="
     memory_poisoning
     neon_clobber_test
     pic
-    pod2man
     raise_major
     thumb
     valgrind_backtrace