diff options
author | Victor Zverovich <victor.zverovich@gmail.com> | 2019-05-08 12:40:25 -0700 |
---|---|---|
committer | Victor Zverovich <victor.zverovich@gmail.com> | 2019-05-08 12:40:25 -0700 |
commit | f52c09f9243b30d25b0a6b3a1d1569da5bee0d7c (patch) | |
tree | ad24be9201e2224bc22d992436749fe8e6b402ee /support | |
parent | 118d8bccc282ce1bf59267c217001ed2f99452e5 (diff) | |
download | fmtlib-f52c09f9243b30d25b0a6b3a1d1569da5bee0d7c.tar.gz |
Fix format_to_n docs in 5.1.0
Diffstat (limited to 'support')
-rwxr-xr-x | support/manage.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/support/manage.py b/support/manage.py index 9bd2e489..83b2f494 100755 --- 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: |