Workaround Doxygen mess

This commit is contained in:
Victor Zverovich 2018-01-20 08:53:03 -08:00
parent c15710032e
commit 1760c31b52

View File

@ -141,6 +141,7 @@ def update_site(env):
b.data = re.sub(pattern, r'doxygenfunction:: \1(int)', b.data)
b.data = b.data.replace('std::FILE*', 'std::FILE *')
b.data = b.data.replace('unsigned int', 'unsigned')
b.data = b.data.replace('operator""_', 'operator"" _')
# Fix a broken link in index.rst.
index = os.path.join(target_doc_dir, 'index.rst')
with rewrite(index) as b: