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)
commit4ae80c3753981e7d6adb4fef0cba18144e3590f1
treee93e9d0e968a7ea0a1c68d3f96ab81e2bb7a86c5
parentd0db00c80886c1b2b482ce06dedd9021d2b9a927
parent0e5dde739943168d6f61d3fb40b3f622e7abfeff
Merge commit '0e5dde739943168d6f61d3fb40b3f622e7abfeff'

* 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>