diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2018-02-19 11:49:45 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2018-02-19 11:49:45 +0300 |
| commit | 187e2b669e718a56a8d066d18d64364340212937 (patch) | |
| tree | 0f5b937d2380db1246a23c43ca77b318a0ea7cb7 /docs/index.html | |
| parent | b49fd69f64f9933461f3db7be196b3f8deeffa22 (diff) | |
| download | inter-187e2b669e718a56a8d066d18d64364340212937.tar.xz | |
website update
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/docs/index.html b/docs/index.html index b624914dd..4aadee974 100644 --- a/docs/index.html +++ b/docs/index.html @@ -330,39 +330,6 @@ <script> (function(){ - // download-link - fetchjson('info.json', function(err, data) { - if (err) { throw err } - var ids = Object.keys(data) - var regularId = ids[0] - ids.forEach(function(id){ - if (id.indexOf('Inter UI Regular:') == 0) { - regularId = id - } - }) - if (ids.length == 0) { - console.error('failed to find Inter UI Regular in info.json', data) - return - } - var regular = data[regularId] - // console.log('info.json:', regular) - if (regular.names && regular.names.version) { - var v = regular.names.version - var p = v.indexOf(';') - if (p != -1) { - v = v.substr(0, p) - } - var directDownloadURL = - 'https://github.com/rsms/inter/releases/download/v' + v + - '/Inter-UI-' + v + '.zip' - var av = document.querySelectorAll('a.download-link'), i, e - for (i = 0; i < av.length; ++i) { - e = av[i] - e.href = directDownloadURL - } - } - }) - // FAQ anchors var av = document.querySelectorAll('ul.faq > li.q'), a, i, e, id, tn for (i = 0; i < av.length; ++i) { |