diff options
| author | lloyd <[email protected]> | 2012-06-20 19:31:39 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2012-06-20 19:31:39 +0000 |
| commit | eb2c1244fee8f84fc9ad7cf567bdefc202685225 (patch) | |
| tree | c711e5114681109b87d4196ff3e4143e887b0fd1 /doc/_sphinx | |
| parent | 254bad7d9ffb98b7b667bcc25ced40bf227526a6 (diff) | |
Only use Disqus if the Sphinx tag is set.
Use extlinks extension for download links, bug reports, and mailing
list archives.
Disable devel mode on Disqus.
Fix some broken links detected with Sphinx's linkcheck target.
Diffstat (limited to 'doc/_sphinx')
| -rw-r--r-- | doc/_sphinx/disqus/page.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/_sphinx/disqus/page.html b/doc/_sphinx/disqus/page.html index 0ad5db3b7..56e102044 100644 --- a/doc/_sphinx/disqus/page.html +++ b/doc/_sphinx/disqus/page.html @@ -6,7 +6,6 @@ <div id="disqus_thread"></div> <script type="text/javascript"> var disqus_shortname = 'botan'; - var disqus_developer = 1; // testing mode var disqus_identifier = 'botan_{{ pagename }}'; var disqus_url = 'http://botan.randombit.net/{{ pagename }}.html'; |