diff options
| author | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-10 14:20:36 +0100 |
|---|---|---|
| committer | Emmanuele Bassi <ebassi@gnome.org> | 2017-05-10 14:20:36 +0100 |
| commit | b2348e74693c583e89d7243ad11fa9be680fc503 (patch) | |
| tree | e480d321044bb037652c676b21ca5c3b3d4eb732 /docs | |
| parent | e530801f078418f0eab5b4e048c9dc40a1491e24 (diff) | |
| download | appstream-glib-b2348e74693c583e89d7243ad11fa9be680fc503.tar.gz | |
build: Conditionally generate man pages
Depend on the value of the `enable-man` option, as well as the presence
of xsltproc. This is necessary, as not all builders allow connecting to
the network to download the XSLT style sheet for turning docbook into
man pages, for instance.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions