diff options
| author | Hugo Parente Lima <hugo.pl@gmail.com> | 2011-06-02 17:09:46 -0300 |
|---|---|---|
| committer | Hugo Parente Lima <hugo.pl@gmail.com> | 2012-03-08 16:15:24 -0300 |
| commit | 811c7cb53af4134fd419bc31ca3bcb04cfc262b0 (patch) | |
| tree | 81e24cfa1e40b2c2f9e7e698b5a117eac23ba699 /doc/conf.py.in | |
| parent | d8ffe3ff6633f968655f05c4f788bed9ac7316f7 (diff) | |
Fix bug 827 - "Anchor sign for headers to copy links for sections"
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 e49e30fcf..e83cc324a 100644 --- a/doc/conf.py.in +++ b/doc/conf.py.in @@ -154,6 +154,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. |