From d200c100808c44b18c720277ca80a26eb1019add Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micka=C3=ABl=20V=C3=A9ril?= Date: Wed, 26 Aug 2020 15:13:54 +0200 Subject: [PATCH] Delete getPublis.js Replaced by PubliDB.js since 62acffa870bc2b04bc7d55d0483ff637741e2b7f --- content/dataset.html | 1 - content/publications.html | 1 - static/js/getPublis.js | 7 ------- 3 files changed, 9 deletions(-) delete mode 100644 static/js/getPublis.js diff --git a/content/dataset.html b/content/dataset.html index 6aa2ae8c..40b36fb7 100644 --- a/content/dataset.html +++ b/content/dataset.html @@ -16,7 +16,6 @@ draft: false - diff --git a/content/publications.html b/content/publications.html index 2e3fb60b..0e430885 100644 --- a/content/publications.html +++ b/content/publications.html @@ -10,7 +10,6 @@ draft: false - diff --git a/static/js/getPublis.js b/static/js/getPublis.js deleted file mode 100644 index acd05875..00000000 --- a/static/js/getPublis.js +++ /dev/null @@ -1,7 +0,0 @@ -async function getPublis() { - const text = await getTextFromFileUrlAsync("/data/publis/index.yaml") - const myYaml=jsyaml.load(text); - myYaml.sets= ((myYaml.sets===null) ? new Map() : new Map(Object.entries(myYaml.sets))); - myYaml.others=((myYaml.others===null) ? new Map() : new Map(Object.entries(myYaml.others))); - return myYaml -} \ No newline at end of file