configure: Restore doc option to disable building the documentation
authorDiego Biurrun <diego@biurrun.de>
Mon, 25 Nov 2013 23:19:57 +0000 (15:19 -0800)
committerDiego Biurrun <diego@biurrun.de>
Tue, 26 Nov 2013 21:49:06 +0000 (13:49 -0800)
commit4da3f410d176dd1a55d7cbe5d2e2ead342027f13
tree3b8aef456bf0580c274f005b36ad7d4a8b47be83
parentdc80e2f7a529d6e4416b40b68699be16fed62d6c
configure: Restore doc option to disable building the documentation

Also add appropriate dependency declarations for perl and texi2html.
configure