diff options
Diffstat (limited to 'doc/conf.py.in')
| -rw-r--r-- | doc/conf.py.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/conf.py.in b/doc/conf.py.in index 35edbd219..3fd1781b5 100644 --- a/doc/conf.py.in +++ b/doc/conf.py.in @@ -155,6 +155,8 @@ html_split_index = False # If true, links to the reST sources are added to the pages. html_show_sourcelink = False +html_add_permalinks = True + # If true, an OpenSearch description file will be output, and all pages will # contain a <link> tag referring to it. The value of this option must be the # base URL from which the finished HTML is served. |