fixed external publications page

Author: ArmborstL

templates/external_publications.html

@@ -1,6 +1,6 @@
 {% extends 'base.html' %}
 
-{% block title %}Publications{% endblock %}
+{% block title %}External Publications{% endblock %}
 
 {% block content %}
 <section>

templates/publications.html

@@ -8,7 +8,7 @@
         <h2><strong> Publications </strong></h2>
     </header>
 
-    <p>Below are publications by our group relating to VerCors. For publications about VerCors by other people, see <a href="/external_publications/">here</a></p>
+    <p>Below are publications by our group relating to VerCors. For publications about VerCors by other people, see <a href="{{urls['external_papers']}}">here</a></p>
 
     {% autoescape false %}
         {{ references_html }}