add missing license files (GPLv3+)
[~bandali/bndl.org] / index.html
index 9c776e2..381c6d9 100644 (file)
@@ -1,26 +1,6 @@
-<!doctype html>
-<html lang="en">
-<head>
-<meta charset="utf-8"/>
-<meta name="viewport" content="width=device-width, initial-scale=1"/>
-<title>Amin Bandali's Personal Site</title>
-<link rel="icon" href="/gnu.ico"/>
-<link rel="stylesheet" href="/style.css"/>
-</head>
-<body>
-<header>
-<h1>Amin Bandali's Personal Site</h1>
-</header>
-<nav>
-<ul>
-<li><a href="/#papers">Publications</a></li>
-<li><a href="/#projects">Projects</a></li>
-<li><a href="/#notes">Notes</a></li>
-<li><a href="/cv" title="curriculum vitae">CV</a></li>
-<li><a href="/contact">Contact</a></li>
-</ul>
-</nav>
-<main>
+<!--# set var="title" value="Amin Bandali's Personal Site" -->
+<!--# set var="nts" value="true" -->
+<!--# include virtual="/ssi/pre.html" -->
 <section id="intro">
 <p>Hi, I'm Amin.  I am currently a graduate student at the
 <a href="//watform.uwaterloo.ca">Waterloo Formal Methods</a>
@@ -141,10 +121,5 @@ and
 </tbody>
 </table>
 </section>
-</main>
-<footer>
-<p>Copyright &copy; 2016&ndash;2019 Amin Bandali.  See the
-<a href="/license">license conditions</a>.  Please copy and share.</p>
-</footer>
-</body>
-</html>
+<!--# set var="copy" value="2016&ndash;2019" -->
+<!--# include virtual="/ssi/post.html" -->