From 94564b058ef3e0116553e4800d5539fbf8a67a85 Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Sun, 27 Jun 2021 08:55:16 -0700 Subject: [PATCH] Fix docs --- support/manage.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/support/manage.py b/support/manage.py index 9f270669..597e7758 100755 --- a/support/manage.py +++ b/support/manage.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """Manage site and releases. @@ -163,6 +163,13 @@ def update_site(env): if version.startswith('7.'): b.data = b.data.replace(', std::size_t', ', size_t') b.data = b.data.replace('join(It, It', 'join(It, Sentinel') + if version.startswith('7.1.'): + b.data = b.data.replace(', std::size_t', ', size_t') + b.data = b.data.replace('join(It, It', 'join(It, Sentinel') + b.data = b.data.replace( + 'fmt::format_to(OutputIt, const S&, Args&&...)', + 'fmt::format_to(OutputIt, const S&, Args&&...) -> ' + + 'typename std::enable_if::type') b.data = b.data.replace('aa long', 'a long') b.data = b.data.replace('serveral', 'several') if version.startswith('6.2.'):