diff --git a/src/sage_docbuild/conf.py b/src/sage_docbuild/conf.py index 567140880a5..0273876b734 100644 --- a/src/sage_docbuild/conf.py +++ b/src/sage_docbuild/conf.py @@ -461,7 +461,7 @@ def linkcode_resolve(domain, info): ver += f' built with GitHub PR #{pr_number}' \ f' on {pr_sha[:7]}' \ f' [changes]' - banner = f'This is documentation of Sage version {ver} for development purpose.' + banner = f'This is documentation for Sage version {ver} for development purpose.' html_theme_options.update({ "announcement": banner }) # The name of the Pygments (syntax highlighting) style to use. This