diff options
Diffstat (limited to 'doc/user/conf.py')
| -rw-r--r-- | doc/user/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/conf.py b/doc/user/conf.py index 395875520d..18f048bc08 100644 --- a/doc/user/conf.py +++ b/doc/user/conf.py @@ -96,7 +96,7 @@ replace_vars = { # extract version information, installation location, other stuff we need to # use when building final documents -val = re.compile('^S\["([^"]+)"\]="(.*)"$') +val = re.compile(r'^S\["([^"]+)"\]="(.*)"$') try: with open("../../config.status", "r") as cfgstatus: for ln in cfgstatus.readlines(): |