diff options
| author | lloyd <[email protected]> | 2015-01-12 04:03:17 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2015-01-12 04:03:17 +0000 |
| commit | 747b8127649791bfd1dcae10b55c8a194b43d2b0 (patch) | |
| tree | cf97cfca412866594b5bfa60e7c86d7e159f9527 /configure.py | |
| parent | e05de6c4c5c37e66f89394019dd1045b7a2f8af0 (diff) | |
Fix string formatting
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 626a40c8d..84bc38e8f 100755 --- a/configure.py +++ b/configure.py @@ -176,7 +176,7 @@ class BuildConfigurationInformation(object): yield cmd_for('manual') if options.with_doxygen: - yield 'doxygen %s' + os.sep + 'botan.doxy' % (self.build_dir) + yield 'doxygen %s%sbotan.doxy' % (self.build_dir, os.sep) self.build_doc_commands = '\n'.join(['\t' + s for s in build_doc_commands()]) |