mirror/fmt
1
0
Fork 0
mirror of https://github.com/fmtlib/fmt.git synced 2024-12-26 00:21:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Apply doc fixes retroactively

Browse Source
This commit is contained in:
Victor Zverovich 2022-08-24 09:16:12 -07:00
parent 391f922acc
commit 13d07c6a3d
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
support/manage.py
View File

@ -183,6 +183,12 @@ def update_site(env):
with rewrite(index) as b: with rewrite(index) as b:
b.data = b.data.replace( b.data = b.data.replace(
'doc/latest/index.html#format-string-syntax', 'syntax.html') 'doc/latest/index.html#format-string-syntax', 'syntax.html')
# Fix issues in syntax.rst.
index = os.path.join(target_doc_dir, 'syntax.rst')
with rewrite(index) as b:
b.data = b.data.replace(
'..productionlist:: sf\n', '.. productionlist:: sf\n ')
b.data = b.data.replace('Examples:\n', 'Examples::\n')
# Build the docs. # Build the docs.
html_dir = os.path.join(env.build_dir, 'html') html_dir = os.path.join(env.build_dir, 'html')
if os.path.exists(html_dir): if os.path.exists(html_dir):