diff options
| author | Clément Bœsch <u@pkh.me> | 2017-03-20 12:45:18 +0300 |
|---|---|---|
| committer | Clément Bœsch <u@pkh.me> | 2017-03-20 12:45:48 +0300 |
| commit | d0db00c80886c1b2b482ce06dedd9021d2b9a927 (patch) | |
| tree | e93e9d0e968a7ea0a1c68d3f96ab81e2bb7a86c5 /configure | |
| parent | 715f781834bbf53f562cb8e61b390c77c599a91a (diff) | |
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.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1702,7 +1702,6 @@ CONFIG_LIST=" memory_poisoning neon_clobber_test pic - pod2man raise_major thumb valgrind_backtrace |