From af5f9f9b688720347d291cc7693129673c801697 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 9 Oct 2017 12:41:48 +0200
Subject: [PATCH] linking publications to github

---
 _layouts/person.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/person.html b/_layouts/person.html
index 50fd556..1e8be65 100644
--- a/_layouts/person.html
+++ b/_layouts/person.html
@@ -45,7 +45,7 @@ layout: default
                 &nbsp;
                 {% endif %}
                 
-                <a href="https://kwarc.info/{{ page.url | replace: '/people/', '' | replace: '/', '' }}/publications.html">Publications</a>
+                <a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/people/', '' | replace: '/', '' }}/">Publications</a>
             </div>
         </div>
         
-- 
GitLab