Merge commit '0e5dde739943168d6f61d3fb40b3f622e7abfeff'
authorClément Bœsch <u@pkh.me>
Mon, 20 Mar 2017 09:47:01 +0000 (10:47 +0100)
committerClément Bœsch <u@pkh.me>
Mon, 20 Mar 2017 09:47:01 +0000 (10:47 +0100)
* commit '0e5dde739943168d6f61d3fb40b3f622e7abfeff':
  configure: Fix --disable-pod2man / --disable-texi2html

This commit is a noop, we have dedicated documentation option for this
purpose.

Merged-by: Clément Bœsch <u@pkh.me>

Trivial merge