From 4999796c15b62b9992feec780a3fcf11cfc33afd Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Mon, 6 Apr 2020 07:32:15 -0700 Subject: [PATCH] Fix the docs --- support/manage.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/support/manage.py b/support/manage.py index 517759b3..58fbcddb 100755 --- a/support/manage.py +++ b/support/manage.py @@ -144,9 +144,15 @@ def update_site(env): b.data = re.sub(pattern, r'doxygenfunction:: \1(int)', b.data) b.data = b.data.replace('std::FILE*', 'std::FILE *') b.data = b.data.replace('unsigned int', 'unsigned') - b.data = b.data.replace('operator""_', 'operator"" _') + #b.data = b.data.replace('operator""_', 'operator"" _') b.data = b.data.replace(', size_t', ', std::size_t') b.data = b.data.replace('aa long', 'a long') + if version == '6.2.0': + b.data = b.data.replace( + 'vformat(const S&, basic_format_args<' + + 'buffer_context>)', + 'vformat(const S&, basic_format_args<' + + 'buffer_context>>)') # Fix a broken link in index.rst. index = os.path.join(target_doc_dir, 'index.rst') with rewrite(index) as b: