Lindenii Project Forge
Login

spec

e² language specification

Hi… I am well aware that this diff view is very suboptimal. It will be fixed when the refactored server comes along!

Commit info
ID
51ff37cb088aa142b086325ded84e84ea7c0abb6
Author
Runxi Yu <me@runxiyu.org>
Author date
Wed, 11 Dec 2024 00:51:23 +0800
Committer
Runxi Yu <me@runxiyu.org>
Committer date
Wed, 11 Dec 2024 00:51:23 +0800
Actions
Makefile: --preserve-tabs
# 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 --mathml -so $@ -c style.css $<
	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/