publications: Add PhD thesisHEADmaster

1 files changed, 25 insertions, 0 deletions

diff --git a/webserver.js b/webserver.js
index b0d5578..d655d8d 100755
--- a/webserver.js
+++ b/webserver.js
@@ -103,6 +103,31 @@ function padLeft(s, len, fill) {
 	return prefix + s;
 }
 
+/* format:
+ * - authors: {str => str}  (mapping from keys to full names)
+ * - pubs:
+ *   - year: int
+ *   - month: int  (optional)
+ *   - authors: [str]
+ *   - title: str
+ *   - one of:  (actually accepts zero or more)
+ *     * conference: str  (type tag is str up to first space, if any)
+ *     * journal: str
+ *     * preprint: (true/str)
+ *     * thesis: (true)
+ *   - note: str  (optional)
+ *   - links: [Link] where Link is:
+ *     * one of:
+ *       - type: "arxiv" with:
+ *         - id: str
+ *       - type: "doi" with:
+ *         - id: str
+ *       - type: "code" with:
+ *         - url: str
+ *       - type: "pdf" with:
+ *         - url: str
+ *     * note: str  (optional)
+ */
 function buildPublicationsHTML(info) {
 	let res = "";
 	for (const obj of info.pubs) {