diff options
| author | Patrick Lehmann <Patrick.Lehmann@plc2.de> | 2021-01-04 21:21:28 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2021-01-05 18:50:44 +0100 |
| commit | a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a (patch) | |
| tree | b7d9431847abfd18a807d72b00e2d2e60a50c097 /doc | |
| parent | c006aa8dedeba836b8e9a9138230f8762b1450d0 (diff) | |
| download | ghdl-a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a.tar.gz ghdl-a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a.tar.bz2 ghdl-a45a8f3b38c4e7fdaa7f988982f4b81fd488f62a.zip | |
Try without explicit extension so Sphinx takes either png or svg.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/helpers.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/helpers.py b/doc/helpers.py index 4ca692268..0e51be82f 100644 --- a/doc/helpers.py +++ b/doc/helpers.py @@ -145,7 +145,7 @@ def createTagShields(data='latest'): i = x[3][1:-1] for latex in [False, True]: printShieldSrc(i, i, - 'https://img.shields.io/github/downloads/ghdl/ghdl/' + i + '.svg?longCache=true&style=flat-square&logo=github&label=%7F', + 'https://img.shields.io/github/downloads/ghdl/ghdl/' + i + '?longCache=true&style=flat-square&logo=github&label=%7F', 'https://github.com/ghdl/ghdl/releases/download/' + i, latex=latex) return assets @@ -172,7 +172,7 @@ def createReleasesShields(tag='latest'): i = name for l in [False, True]: printShieldSrc(i+'/total', i+' Total', - 'https://img.shields.io/github/downloads/ghdl/ghdl/' + i + '/total.svg?longCache=true&style=flat-square&logo=github&label=%7F', + 'https://img.shields.io/github/downloads/ghdl/ghdl/' + i + '/total?longCache=true&style=flat-square&logo=github&label=%7F', 'https://github.com/ghdl/ghdl/releases/' + i, l) out = {'releases': releases, 'assets': createTagShields(t)} |