diff options
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.py b/configure.py index b07e8af16..23d7a0763 100755 --- a/configure.py +++ b/configure.py @@ -902,7 +902,8 @@ def setup_build(build_config, options, template_vars): for (template, sink) in [('buildh.in', 'build.h'), ('botan-config.in', 'botan-config'), - ('botan.pc.in', build_config.pkg_config_file())]: + ('botan.pc.in', build_config.pkg_config_file()), + ('botan.doxy.in', 'botan.doxy')]: templates_to_proc[os.path.join(options.build_data, template)] = \ os.path.join(build_config.build_dir, sink) |