link to compcert

[web.git] / ralf / _layouts / default.html

diff --git a/ralf/_layouts/default.html b/ralf/_layouts/default.html
index ca29f4715a10a3b5e1f4a667fdb2ff0dfb06a714..08ae22039c9022f6734c89b6521508f83cfb918d 100644 (file)
--- a/ralf/_layouts/default.html
+++ b/ralf/_layouts/default.html
@@ -27,6 +27,12 @@
       {{ content }}
     </article>
 
+    {% if site.mpi_sws_imprint %}
+      <div id="-footer"><small>
+        <a href="https://imprint.mpi-klsb.mpg.de/sws/people/jung">Imprint</a> |
+        <a href="https://data-protection.mpi-klsb.mpg.de/sws/people/jung">Data Protection</a>
+      </small></div>
+    {% endif %}
   </div></body>
 
 </html>