Fix format_to_n docs in 5.1.0

2019-05-08 12:40:25 -07:00 · 2019-05-08 12:40:25 -07:00 · f52c09f924
commit f52c09f924
parent 118d8bccc2
1 changed files with 1 additions and 0 deletions
--- a/support/manage.py
+++ b/support/manage.py
@ -142,6 +142,7 @@ def update_site(env):
                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(', size_t', ', std::size_t')
        # Fix a broken link in index.rst.
        index = os.path.join(target_doc_dir, 'index.rst')
        with rewrite(index) as b: