moving to caffeine
[~bandali/bndl.org] / index.html
index 9c776e2..a1f7823 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>
@@ -38,19 +18,21 @@ assistants, and their type systems.</p>
 <p>On the side, I enjoy
 <a href="//stallman.org/articles/on-hacking.html">hacking</a> on
 <a href="//www.gnu.org/software/emacs/manual/elisp.html">elisp</a>
-and <a href="//www.gnu.org/software/guile/">guile</a>.
-I am a GNU <a href="//www.gnu.org/people/#bandali">maintainer</a> and
+and <a href="//www.gnu.org/software/guile/">guile</a>.  I am a
+GNU <a href="//www.gnu.org/people/#bandali">maintainer</a>,
 <a href="//www.gnu.org/people/webmeisters.html#bandali">webmaster</a>,
-a <a href="//www.gnu.org/philosophy/free-sw.html">free software</a>
-activist, and an <a href="//www.fsf.org/associate/">associate member</a>
-of the <a href="///www.fsf.org">Free Software Foundation</a>.
-I'm the co-host of the <a href="//emacsel.com">Emacs.el</a>
-podcast with <a href="//www.pygopar.com">Daniel Gopar</a>, and
-the chief organizer of the
-<a href="//emacsconf.org">EmacsConf</a> conference.
-I'm also a member of the Systems Committee of the
-<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of
-the University of Waterloo.</p>
+and <a href="//savanna.gnu.org/maintenance/SavannahHacker/">Savannah
+hacker</a>.  I am also a
+<a href="//www.gnu.org/philosophy/free-sw.html">free software</a>
+activist, and an <a href="//www.fsf.org/associate/">associate
+member</a> of the <a href="///www.fsf.org">Free Software
+Foundation</a>.  I'm the chief organizer of
+the <a href="//emacsconf.org">EmacsConf</a> conference, and the
+co-host of the <a href="//emacsel.com">Emacs.el</a> podcast with
+<a href="//www.pygopar.com">Daniel Gopar</a>.  I am also a member of
+the Systems Committee of the
+<a href="//csclub.uwaterloo.ca">Computer Science Club</a> of the
+University of Waterloo.</p>
 </section>
 
 <section id="papers">
@@ -69,7 +51,7 @@ Ali Abbassi, <a href="//bandali.eu.org">Amin Bandali</a>,
 <a href="//cs.uwaterloo.ca/~nday/">Nancy A. Day</a>, Jose Serna<br/>
 <em>2018 IEEE 8th International Model-Driven Requirements Engineering
 Workshop (MoDRE)</em><br/>
-Copyright © 2018 IEEE.  All Rights Reserved.  Sadly.
+Copyright &copy; 2018 IEEE.  All Rights Reserved.  Sadly.
 </dd>
 </dl>
 </section>
@@ -141,10 +123,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" -->