diff options
Diffstat (limited to 'docs/_ext')
| -rw-r--r-- | docs/_ext/applyxrefs.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/_ext/applyxrefs.py b/docs/_ext/applyxrefs.py index 7181480e0f..cf5c3ac750 100644 --- a/docs/_ext/applyxrefs.py +++ b/docs/_ext/applyxrefs.py @@ -6,8 +6,8 @@ import os testing = False DONT_TOUCH = ( - './index.txt', - ) + './index.txt', +) def target_name(fn): if fn.endswith('.txt'): |