configure: Fix --disable-pod2man / --disable-texi2html
authorDiego Biurrun <diego@biurrun.de>
Tue, 14 Apr 2015 11:27:32 +0000 (13:27 +0200)
committerDiego Biurrun <diego@biurrun.de>
Mon, 5 Sep 2016 09:18:23 +0000 (11:18 +0200)
commit0e5dde739943168d6f61d3fb40b3f622e7abfeff
treeba5335d1624528422d229bd30a736b332407e1a0
parentb8c2d407efa41c3db6813ad67fadd51b814765bd
configure: Fix --disable-pod2man / --disable-texi2html
configure