diff options
author | Guido Aulisi <guido.aulisi@gmail.com> | 2022-01-16 21:24:18 +0100 |
---|---|---|
committer | Filipe Coelho <falktx@falktx.com> | 2022-01-16 20:44:43 +0000 |
commit | 9beb02d8280f8b82950eb878eddbf16e221f87b4 (patch) | |
tree | 77346b6569983dc2cce5fd5b96290995de7afc48 | |
parent | 2980933a8003187ec217a4d9139fb232dcb3cd43 (diff) | |
download | jack2-9beb02d8280f8b82950eb878eddbf16e221f87b4.tar.gz |
Fix build of jack-example-tools man pages
Commit e8c0be1ce932bfb99fdd1a50e08fab187efed6ca changed the name
of the configuration environment to build the jack-example-tools,
but forgot to change it for man pages.
-rw-r--r-- | man/wscript | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/wscript b/man/wscript index 52270c33..691b05ab 100644 --- a/man/wscript +++ b/man/wscript @@ -5,6 +5,6 @@ def build(bld): bld.exec_command('cd man ; sh fill_template {} {}'.format( bld.env['JACK_VERSION'], - bld.env['HAVE_JACK_EXAMPLE_TOOLS']) + bld.env['BUILD_JACK_EXAMPLE_TOOLS']) ) bld.install_files(bld.env['MANDIR'], bld.path.ant_glob('*.1')) |