diff options
Diffstat (limited to 'docs/users_guide/conf.py')
| -rw-r--r-- | docs/users_guide/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index d69c84f914..5c372cd5fa 100644 --- a/docs/users_guide/conf.py +++ b/docs/users_guide/conf.py @@ -135,7 +135,7 @@ man_pages = [ ] # If true, show URL addresses after external links. -#man_show_urls = False +man_show_urls = True # -- Options for Texinfo output ------------------------------------------- |