From ee5599c00fe2925ba0e6c318e1f66a93bc0a2a93 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 3 Apr 2018 14:17:39 +0200 Subject: [PATCH] typos and metadata --- _layouts/project.html | 29 +++++++++++++++++++---------- _layouts/system.html | 7 ++++++- projects/arXMLiv.md | 6 +++--- systems/mathhub.md | 7 ++++++- 4 files changed, 34 insertions(+), 15 deletions(-) diff --git a/_layouts/project.html b/_layouts/project.html index 9d5a25c..cc90cec 100644 --- a/_layouts/project.html +++ b/_layouts/project.html @@ -79,18 +79,27 @@ layout: default <br /> {% endfor %} </div> + {% assign hasaction = false %} - {% if page.website or page.publink or page.proposal%} + {% if page.website %}{% assign hasaction = true %}{% endif %} + {% if page.repository %}{% assign hasaction = true %}{% endif %} + {% if page.proposal %}{% assign hasaction = true %}{% endif %} + {% if page.publink %}{% assign hasaction = true %}{% endif %} + + {% if hasaction %} <div class="card-action"> - {% if page.website %} - <a target="_blank" href="{{page.website}}">Website</a> - + {% if page.website %} + <a target="_blank" href="{{ page.website }}">Website</a> + + {% endif %} + {% if page.repository %} + <a target="_blank" href="{{ page.repository }}">Repository</a> + {% endif %} - - {% if page.proposal %} - <a target="_blank" href="{{page.proposal}}">Proposal</a> - - {% endif %} + {% if page.proposal %} + <a target="_blank" href="{{page.proposal}}">Proposal</a> + + {% endif %} {% if page.publink == "auto" %} <a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a> @@ -104,4 +113,4 @@ layout: default <div class="caption"> {{content}} </div> -</div +</div> diff --git a/_layouts/system.html b/_layouts/system.html index 26e6d33..d391aab 100644 --- a/_layouts/system.html +++ b/_layouts/system.html @@ -45,6 +45,7 @@ layout: default {% if page.website %}{% assign hasaction = true %}{% endif %} {% if page.repository %}{% assign hasaction = true %}{% endif %} + {% if page.publink %}{% assign hasaction = true %}{% endif %} {% if hasaction %} <div class="card-action"> @@ -56,7 +57,11 @@ layout: default <a target="_blank" href="{{ page.repository }}">Repository</a> {% endif %} - <a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a> + {% if page.publink == "auto" %} + <a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/projects/', '' | replace: '/', '' }}/">Publications</a> + {% elsif page.publink %} + <a href="{{page.publink}}">Publications</a> + {% endif %} </div> {% endif %} </div> diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md index c3a1e07..e036d01 100644 --- a/projects/arXMLiv.md +++ b/projects/arXMLiv.md @@ -33,10 +33,10 @@ state/results: [old but complete](http://cortex.mathweb.org/corpus/arXMLiv), [new system in Erlangen](https://corpora.mathweb.org/corpus/arxiv_1712/tex_to_html). Applications of this include a mathematical search engine [MathWebSearch](/systems/mws/): -(live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org). +(live [demo on the arXMLiv data set](http://arxivsearch.mathweb.org)). Unfortunately, we cannot re-distribute the results of the transformation freely due to arXiv licensing policies. Therefore we have created the Special Interest Group for Math -Linguistics ([SIGMathLing](http://SIGMathLing.kwarc.info) that can distribute the data +Linguistics ([SIGMathLing](http://SIGMathLing.kwarc.info)) that can distribute the data sets under an [NDA](https://sigmathling.kwarc.info/nda/) to -[SIGMathLing members](https://sigmathling.kwarc.info/member/)). +[SIGMathLing members](https://sigmathling.kwarc.info/member/). diff --git a/systems/mathhub.md b/systems/mathhub.md index 153dba2..73734ea 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -15,4 +15,9 @@ website: http://mathhub.info repository: https://github.com/KWARC/mathhub --- -MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics. It offers a rich interface for reading, writing, and interacting with mathematical documents and knowledge +[MathHub.info](http://mathhub.info) is a portal for active mathematical documents and an +archive for flexiformal mathematics. It offers a rich interface for reading, writing, and +interacting with mathematical documents and knowledge. + + + -- GitLab