diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2020-05-22 01:58:40 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2020-05-22 06:18:18 +0200 |
commit | 95221aecb51da9f8c971bf58b0248ac1c1f6415f (patch) | |
tree | 5c3caaeda5f7b1eab3865753eb53904d768e71fa /doc/helpers.py | |
parent | 7e35065cfd5fbf4c3bf83431bb60f609c4ea31ff (diff) | |
download | ghdl-95221aecb51da9f8c971bf58b0248ac1c1f6415f.tar.gz ghdl-95221aecb51da9f8c971bf58b0248ac1c1f6415f.tar.bz2 ghdl-95221aecb51da9f8c971bf58b0248ac1c1f6415f.zip |
doc: update getting/Releases
Diffstat (limited to 'doc/helpers.py')
-rw-r--r-- | doc/helpers.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/helpers.py b/doc/helpers.py index f30e249dc..4ca692268 100644 --- a/doc/helpers.py +++ b/doc/helpers.py @@ -162,7 +162,7 @@ def createReleasesShields(tag='latest'): from dateutil.parser import parse as parseTime releases = [['Date', 'Downloads']] if tag == 'latest': - t = d[0] + t = d[1] if d[0]['name'] == 'nightly' else d[0] for x in d: name = x['tag_name'] if tag == name: @@ -204,6 +204,12 @@ def printReleasesList(releases, latex=False): releases = getJSON(releases)["releases"] rs = [releases[0]] + + for x, r in enumerate(releases): + if 'nightly' in r[1]: + releases.remove(r) + break + rs.extend(releases[2:]) if latex: |