diff options
| author | Diego Biurrun <diego@biurrun.de> | 2013-11-25 15:19:57 -0800 |
|---|---|---|
| committer | Diego Biurrun <diego@biurrun.de> | 2013-11-26 13:49:06 -0800 |
| commit | 4da3f410d176dd1a55d7cbe5d2e2ead342027f13 (patch) | |
| tree | 3b8aef456bf0580c274f005b36ad7d4a8b47be83 /doc/Makefile | |
| parent | dc80e2f7a529d6e4416b40b68699be16fed62d6c (diff) | |
configure: Restore doc option to disable building the documentation
Also add appropriate dependency declarations for perl and texi2html.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions