diff options
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | Makefile | 15 | ||||
| -rw-r--r-- | README.md | 12 | ||||
| -rw-r--r-- | index.md | 8 |
4 files changed, 25 insertions, 12 deletions
@@ -1 +1 @@ -*.html +/build @@ -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/ @@ -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). |