summaryrefslogtreecommitdiff
path: root/debian/control
diff options
context:
space:
mode:
authorMikko Koppanen <mkoppanen@php.net>2010-11-17 15:10:43 +0100
committerMartin Sustrik <sustrik@250bpm.com>2010-11-17 15:10:43 +0100
commit72a7b93f124cdaee8082aff218f6497c366f53f9 (patch)
tree52e6764237ba3a7d685741b1eb2687bdc71a7890 /debian/control
parentc86375831d4002ac58501bacebb3fd12d5c651b8 (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/control')
0 files changed, 0 insertions, 0 deletions