merge of 'cd3b49c6cd609a1c81c7200e127063448f2254b7'

     and 'e6d5e12d439e2f149f547f1afe47fea14e7863c2'

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)