diff options
Diffstat (limited to 'src/configgen.py')
| -rwxr-xr-x | src/configgen.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/configgen.py b/src/configgen.py index 0d18e84..d762675 100755 --- a/src/configgen.py +++ b/src/configgen.py @@ -56,8 +56,11 @@ def transformDocs(doc): doc = re.sub('\\\\ref +doxygen_usage', '"Doxygen usage"', doc) doc = re.sub('\\\\ref +extsearch', '"External Indexing and Searching"', doc) + doc = re.sub('\\\\ref +layout', '"Changing the layout of pages"', doc) doc = re.sub('\\\\ref +external', '"Linking to external documentation"', doc) + doc = re.sub('\\\\ref +doxygen_finetune', '"Fine-tuning the output"', + doc) doc = re.sub('\\\\ref +formulas', '"Including formulas"', doc) # fallback for not handled doc = re.sub('\\\\ref', '', doc) |