commit 931ffe0b6f6fb1ac3ab8c13c8b73828079b173e4
parent 6ab46bed51a37eccce3e42c17b16dd6df2694f81
Author: Demonstrandum <moi@knutsen.co>
Date: Sun, 5 Jul 2020 00:58:40 +0100
Makefile syntax fix.
Diffstat:
3 files changed, 2 insertions(+), 65 deletions(-)
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1,2 @@
# Generated files
-.html
+*.html
diff --git a/Makefile b/Makefile
@@ -1,7 +1,7 @@
SEAM := $(shell command -v seam 2> /dev/null)
ifndef SEAM
- $(error "\`seam' executable not available. Please install")
+$(error "`seam' executable not available. Please install")
endif
HTML_FILES := index.html
diff --git a/index.html b/index.html
@@ -1,63 +0,0 @@
-<!DOCTYPE html>
-<html lang="en"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></meta>
-<meta name="viewport" content="width=device-width, initial-scale=1.0"></meta>
-<link rel="icon" type="image/png" href="favicon.png"></link>
-<link href="https://fonts.googleapis.com/css2?family=Cantarell:ital,wght@0,400;0,700;1,400&family=IBM+Plex+Mono:ital,wght@0,400;0,700;1,400&family=Playfair+Display+SC&display=swap" rel="stylesheet"></link>
-<style>
-html {
- width: 100%;
- height: 100%;
- font-size: 16px;
- font-family: 'Cantarell' , sans-serif;
-}
-body , html {
- margin: 0;
- padding: 0;
-}
-body {
- display: flex;
- height: 95%;
- width: 100%;
- align-items: center;
- justify-content: center;
-}
-#container {
- width: 40em;
-}
-h1 , h2 , h3 {
- font-family: "Playfair Display SC" , serif;
- font-weight: 400;
-}
-h2 , h3 {
- border-bottom: 2px solid #0002;
- border-radius: 2px;
-}
-code {
- font-family: 'IBM Plex Mono' , monospace;
- font-size: 0.8em;
- padding: 0px 3px 2px 3px;
- background: #f4f4f4;
- border: 1px solid #e4e4e4;
- border-radius: 4px;
-}
-</style>
-
-<title>Knutsen | Home</title></head>
-<body><div id="container"><h1>Knutsen</h1>
-<p>This is the homepage for the Knutsen (web, mail, &c.) server. Hosted on a <strong>VPS</strong> (Virtual Private Server) somewhere in London.</p>
-<h2>Sub–domains</h2>
-<p>Some web-sites currently hosted under subdomains of knutsen.co, are:</p>
-<ul class="subdomains"><li><a href="https://user.knutsen.co">user.knutsen.co</a>
-<span>(e-mail password change.)</span></li>
-<li><a href="https://git.knutsen.co">git.knutsen.co</a>
-<span>(source code for any projects on here.)</span></li>
-<li><a href="https://canvas.knutsen.co">canvas.knutsen.co</a></li>
-<li><a href="https://me.knutsen.co">me.knutsen.co</a>
-<span>(old site, what used to be this page.)</span></li>
-<li><a href="https://fam.knutsen.co">fam.knutsen.co</a></li></ul>
-<h2>Git/Github</h2>
-<p>Github acccount: <a href="https://github.com/Demonstrandum">github.com/Demonstrandum</a>. I host my own git server on this VPS, you can find it at <a href="https://git.knutsen.co">git.knutsen.co</a>. It supports ssh for cloning and pushing, (if you wish you wish to host something, just give me your public key), you can also clone (but only clone) if you dont have an account, using the <code>git://</code> protocol.</p>
-<h2>E–mail</h2>
-<p>E-mail me any time, for questions about the server, the website, or getting your own <code>@knutsen.co</code> e-mail.</p>
-<a href="mailto:samuel@knutsen.co">samuel@knutsen.co</a></div></body></html>
-<!-- Generated by SEAM, from symbolic-expressions into HTML. -->
