diff --git a/support/manage.py b/support/manage.py index e39beff1..517759b3 100755 --- a/support/manage.py +++ b/support/manage.py @@ -137,7 +137,7 @@ def update_site(env): if not os.path.exists(contents): os.rename(os.path.join(target_doc_dir, 'index.rst'), contents) # Fix issues in reference.rst/api.rst. - for filename in ['reference.rst', 'api.rst']: + for filename in ['reference.rst', 'api.rst', 'index.rst']: pattern = re.compile('doxygenfunction.. (bin|oct|hexu|hex)$', re.M) with rewrite(os.path.join(target_doc_dir, filename)) as b: b.data = b.data.replace('std::ostream &', 'std::ostream&') @@ -146,6 +146,7 @@ def update_site(env): 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') + b.data = b.data.replace('aa long', 'a long') # Fix a broken link in index.rst. index = os.path.join(target_doc_dir, 'index.rst') with rewrite(index) as b: