aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile18
-rw-r--r--README.md6
-rw-r--r--index.md8
-rw-r--r--style.css68
4 files changed, 0 insertions, 100 deletions
diff --git a/Makefile b/Makefile
deleted file mode 100644
index 3411a2b..0000000
--- a/Makefile
+++ /dev/null
@@ -1,18 +0,0 @@
-# GNU Make is required
-
-.PHONY: upload default
-
-default: build/language_description.html build/index.html build/style.css
-
-.SUFFIXES: .md .html
-
-build/%.html: %.md
- mkdir -p build
- pandoc --preserve-tabs --mathml -so $@ -c style.css $<
-
-build/%.css: %.css
- mkdir -p build
- cp $< $@
-
-upload:
- rsync --delete-after --recursive --mkpath build/ runxiyu.org:/var/www/docs/e2/
diff --git a/README.md b/README.md
deleted file mode 100644
index bcbc8b9..0000000
--- a/README.md
+++ /dev/null
@@ -1,6 +0,0 @@
-# The e² programming language specification
-
-This is the specification for the [e²](https://e2.runxiyu.org/) programming
-language.
-
-You may [read this specification online](https://docs.runxiyu.org/e2/).
diff --git a/index.md b/index.md
deleted file mode 100644
index 3e1c647..0000000
--- a/index.md
+++ /dev/null
@@ -1,8 +0,0 @@
----
-title: e² language
-author: Test_User and Runxi Yu
----
-
-e² is a new programming language.
-
-Please read the [language description](language_description.html).
diff --git a/style.css b/style.css
deleted file mode 100644
index 5bbefd3..0000000
--- a/style.css
+++ /dev/null
@@ -1,68 +0,0 @@
-/*
- * SPDX-License-Identifier: CC0-1.0
- * Primarily written by Drew Devault
- * I asked him whether this could be PD as I want to keep this repo PD. Thanks!
- */
-html {
- font-family: system-ui, sans-serif;
- --bg: hsl(32, 98%, 92%);
- --fg: #1E1F21;
- --boxbg: hsl(32, 60%, 88%);
- --border: rgb(180, 180, 180);
- --dim-text-color: #333;
- --link-color: #24527d;
- --text-decoration-color: #CCC;
- color: var(--fg);
- background-color: var(--bg);
-}
-
-@media(prefers-color-scheme:dark) {
- html {
- --bg: #1E1F21;
- --fg: #EEEFF1;
- --dim-text-color: #999;
- --boxbg: #2E2F31;
- --border: rgb(80, 80, 80);
- --link-color: #5ca7ed;
- --text-decoration-color: #474747;
- }
-}
-
-
-code, pre {
- font-family: "DejaVu Sans Mono", monospace;
-}
-
-body {
- margin: 0 auto;
- padding: 1rem;
- max-width: 850px;
-}
-
-h1 {
- margin-top: 0;
- font-size: 1.5rem;
-}
-
-a:link {
- text-decoration-color: var(--text-decoration-color);
- color: var(--link-color);
-}
-a:visited {
- text-decoration-color: var(--text-decoration-color);
- color: var(--link-color);
-}
-
-.title {
- text-align: center;
- font-size: 180%;
-}
-
-.author {
- text-align: center;
- font-size: 120%;
-}
-
-/*
- * vim: ts=8 sw=8 noexpandtab
- */