diff options
| author | Mikko Koppanen <mkoppanen@php.net> | 2010-11-17 15:10:43 +0100 |
|---|---|---|
| committer | Martin Sustrik <sustrik@250bpm.com> | 2010-11-17 15:10:43 +0100 |
| commit | 72a7b93f124cdaee8082aff218f6497c366f53f9 (patch) | |
| tree | 52e6764237ba3a7d685741b1eb2687bdc71a7890 /debian | |
| parent | c86375831d4002ac58501bacebb3fd12d5c651b8 (diff) | |
Allow building without documentation.
Allows building without documentation even if asciidoc and xmlto are
installed. This eases up working with the build system because doc
generation take quite a while on repeated builds.
Signed-off-by: Mikko Koppanen <mkoppanen@php.net>
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions