From 7a5c14f1846eeda602c63f36b225f3886e6cdfd2 Mon Sep 17 00:00:00 2001 From: Runxi Yu Date: Fri, 3 Jan 2025 18:39:57 +0800 Subject: Delete all build stuff We'll use the main website repo to build things and just use this as a subtree --- Makefile | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 Makefile (limited to 'Makefile') 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/ -- cgit v1.2.3