From f52c09f9243b30d25b0a6b3a1d1569da5bee0d7c Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Wed, 8 May 2019 12:40:25 -0700
Subject: [PATCH] Fix format_to_n docs in 5.1.0

---
 support/manage.py | 1 +
 1 file changed, 1 insertion(+)

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: