diff options
| author | David Robillard <d@drobilla.net> | 2020-10-29 17:49:35 +0100 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2020-10-29 17:49:35 +0100 |
| commit | 5741309b98a05bb0ac3166855a567b936779d757 (patch) | |
| tree | 3ae08335f0a9115b23af19cfb7bbaad426f864b2 /extras | |
| parent | 4b03300471e2a56d888c8f19cbc11ecb211e4cc7 (diff) | |
| download | autowaf-5741309b98a05bb0ac3166855a567b936779d757.tar.gz autowaf-5741309b98a05bb0ac3166855a567b936779d757.tar.bz2 autowaf-5741309b98a05bb0ac3166855a567b936779d757.zip | |
Make Doxygen man page installation optional
Diffstat (limited to 'extras')
| -rw-r--r-- | extras/autowaf.py | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/extras/autowaf.py b/extras/autowaf.py index 074a004..3f78ed7 100644 --- a/extras/autowaf.py +++ b/extras/autowaf.py @@ -877,7 +877,14 @@ def build_pc(bld, name, version, version_suffix, libs, subst_dict={}): obj.__dict__.update(subst_dict) -def build_dox(bld, name, version, srcdir, blddir, outdir='', versioned=True): +def build_dox(bld, + name, + version, + srcdir, + blddir, + outdir='', + versioned=True, + install_man=True): """Build Doxygen API documentation""" if not bld.env['DOCS']: return @@ -911,10 +918,13 @@ def build_dox(bld, name, version, srcdir, blddir, outdir='', versioned=True): bld.install_files( os.path.join('${DOCDIR}', outname, outdir, 'html'), bld.path.get_bld().ant_glob('doc/html/*')) - for i in range(1, 8): - bld.install_files('${MANDIR}/man%d' % i, - bld.path.get_bld().ant_glob('doc/man/man%d/*' % i, - excl='**/_*')) + + if install_man: + for i in range(1, 8): + bld.install_files( + '${MANDIR}/man%d' % i, + bld.path.get_bld().ant_glob('doc/man/man%d/*' % i, + excl='**/_*')) def build_version_files(header_path, source_path, domain, major, minor, micro): |