diff options
| author | Jack Lloyd <[email protected]> | 2015-07-02 07:23:29 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2015-07-02 07:23:29 -0400 |
| commit | f3180d6ef7025146ff8ea8c9fed2d0b40cab96f9 (patch) | |
| tree | 21c280b7b448f88a42f3cedebf28b4488f4af479 /src/build-data/sphinx | |
| parent | 2c4a8aa78a3cb40a3a5ab7a902db2a55e4d33388 (diff) | |
Combine all release notes into a single file, just easier to read.
Which when you think about it is the main criteria on which to judge
release notes, right? No text changes beyond removing Sphinx interdoc
links and the :pr: extlinks to Bugzilla.
Remove combine_relnotes.py as this was its last run. The setup for
the website is very broken as a result of this change, that comes next.
Diffstat (limited to 'src/build-data/sphinx')
| -rw-r--r-- | src/build-data/sphinx/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/build-data/sphinx/conf.py b/src/build-data/sphinx/conf.py index 29a1c1fe7..378cfbc65 100644 --- a/src/build-data/sphinx/conf.py +++ b/src/build-data/sphinx/conf.py @@ -35,7 +35,6 @@ if is_website_build and use_disqus: files_dir = 'http://botan.randombit.net/releases' extlinks = { - 'pr': ('http://bugs.randombit.net/show_bug.cgi?id=%s', 'PR '), 'wikipedia': ('https://en.wikipedia.org/wiki/%s', ''), 'botan-devel': ('http://lists.randombit.net/pipermail/botan-devel/%s.html', None), |