diff options
| author | Tiago Vignatti <tiago.vignatti@intel.com> | 2012-10-12 20:54:45 +0300 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2012-10-15 13:10:08 -0400 |
| commit | 008760822b973ff1f8122533787a4dadeed7e2a8 (patch) | |
| tree | c185575df7ea1b058a286c698c19c2791b5dcbb1 /protocol/wayland.xml | |
| parent | 96a6ee58b96afc51a78859fe6da0d9b015a68cc9 (diff) | |
configure: Make documentation option work in fact
Also, now doxygen is mandatory for building the documentation (looks
reasonable because both man-pages and publican will need it).
Signed-off-by: Tiago Vignatti <tiago.vignatti@intel.com>
Diffstat (limited to 'protocol/wayland.xml')
0 files changed, 0 insertions, 0 deletions