diff options
author | Hugo Parente Lima <hugo.pl@gmail.com> | 2011-06-02 17:19:09 -0300 |
---|---|---|
committer | Hugo Parente Lima <hugo.pl@gmail.com> | 2012-03-08 16:54:27 -0300 |
commit | e3df0766c3d104900cdf2128551240e5d0352f49 (patch) | |
tree | 95bf6499a4490ea54ac666c23758cfd49dfd5275 /doc/conf.py.in | |
parent | 928fa00609e9e2be428bd7386c62b8c601b4173a (diff) |
Fix bug 827 - "Anchor sign for headers to copy links for sections"
Reviewer: Marcelo Lira <marcelo.lira@openbossa.org>
Luciano Wolf <luciano.wolf@openbossa.org>
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. |