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

---
 .gitignore |  2 +-
 Makefile   | 15 +++++++++++----
 README.md  | 12 +++++-------
 index.md   |  8 ++++++++

diff --git a/.gitignore b/.gitignore
index 2d19fc766d98a08d9d1437896bfb008a7b15f340..796b96d1c402326528b4ba3c12ee9d92d0e212e9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1 @@
-*.html
+/build
diff --git a/Makefile b/Makefile
index dcd9a2c0807cd0c1ffad528bd16766fc8c999e37..df8e0c2b85681d513782a3b7b6a9a0086b52f7e3 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 655b1fe67ecc8c05860571c6f3ab98fffcb16a06..e2ec3797a5923b7436c9d4785f43f98eec0f3614 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 0000000000000000000000000000000000000000..9c52c0e290e86fdf719087aea164c698b7a1c1d1
--- /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).

-- 
2.48.1