From 76c54c7a2a66fb251e568e3d648d193efe11eae9 Mon Sep 17 00:00:00 2001
From: Runxi Yu <me@runxiyu.org>
Date: Thu, 5 Dec 2024 21:18:20 +0800
Subject: Another round of README updates :/

---
 .gitignore |  2 +-
 Makefile   | 15 +++++++++++----
 README.md  | 12 +++++-------
 index.md   |  8 ++++++++
 4 files changed, 25 insertions(+), 12 deletions(-)
 create mode 100644 index.md

diff --git a/.gitignore b/.gitignore
index 2d19fc7..796b96d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-*.html
+/build
diff --git a/Makefile b/Makefile
index dcd9a2c..df8e0c2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,11 +1,18 @@
+# GNU Make is required
+
 .PHONY: upload default
 
-default: language_description.html
+default: build/language_description.html build/index.html build/style.css
 
 .SUFFIXES: .md .html
 
-.md.html:
+build/%.html: %.md
+	mkdir -p build
 	pandoc --mathml -so $@ -c style.css $<
 
-upload: language_description.html style.css
-	rsync --mkpath language_description.html style.css runxiyu.org:/var/www/docs/e2/
+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
index 655b1fe..e2ec379 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,6 @@
-# The e² programming language
+# The e² programming language specification
 
-- [Home page](https://docs.runxiyu.org/e2/)
-- [C implementation](https://docs.runxiyu.org/tau2/)
-- [Git repositories](https://git.runxiyu.org/e2/)
-- [Ticket tracker](https://todo.sr.ht/~runxiyu/e2/)
-- [Announcement list](https://lists.sr.ht/~runxiyu/e2-announce/)
-- [Development list](https://lists.sr.ht/~runxiyu/e2-devel/)
+This is the specification for the [e²](https://e2.runxiyu.org/) programming
+language.
+
+You may [read this specification online](https://docs.runxiyu.org/e2-spec/).
diff --git a/index.md b/index.md
new file mode 100644
index 0000000..9c52c0e
--- /dev/null
+++ b/index.md
@@ -0,0 +1,8 @@
+---
+title: $e^2$ language
+author: Test_User and Runxi Yu
+---
+
+$e^2$ is a new programming language.
+
+Please read the [language description](language_description.html).
-- 
cgit v1.2.3