diff options
author | Tom Smeding <tom@tomsmeding.com> | 2023-01-05 15:25:04 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2023-01-05 15:25:46 +0100 |
commit | a63b2524ad309ae3838447a6d28b4b8b7747fff7 (patch) | |
tree | a2a8eb0b2d741f6ae9d72b20fa8ec02eca7dcc4e /webserver.js | |
parent | 1d329c2570c20a2deff87c4c98b53c4f07e684b1 (diff) |
Update publications
Diffstat (limited to 'webserver.js')
-rwxr-xr-x | webserver.js | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/webserver.js b/webserver.js index f817016..71f6bcd 100755 --- a/webserver.js +++ b/webserver.js @@ -121,6 +121,8 @@ function buildPublicationsHTML(info) { res += ": “" + obj.title + "”."; seen.set("title", true); + if ("conference" in obj) res += " At " + obj.conference + "."; + seen.set("conference", true); if ("journal" in obj) res += " In " + obj.journal + "."; seen.set("journal", true); @@ -139,6 +141,7 @@ function buildPublicationsHTML(info) { const anchors = []; for (const link of obj.links) { let name, url; + const note = "note" in link ? " (" + link.note + ")" : ""; switch (link.type) { case "arxiv": name = "arxiv"; @@ -163,7 +166,7 @@ function buildPublicationsHTML(info) { default: throw new Error("Unknown publication link type " + link.type); } - anchors.push("<a href=\"" + url + "\" target=\"_blank\">" + name + "</a>"); + anchors.push("<a href=\"" + url + "\" target=\"_blank\">" + name + "</a>" + note); } res += anchors.join(", "); res += "]" |