Delete pages directory

2025-08-23 18:51:40 -04:00
parent 27735c08da
commit 40d9e1baa4
5 changed files with 0 additions and 1950 deletions
--- a/pages/build.sh
+++ b/pages/build.sh
@@ -1,15 +0,0 @@
-#!/bin/bash
-
-[ -d "./tmp" ] || mkdir ./tmp
-[ -d "./dist" ] || mkdir ./dist
-
-# README_HTML=`pandoc -f gfm -t html5 ../README.md`
-
-cp -Rf ./src/*.html ./tmp/
-tsc ./src/main.ts --outDir ./tmp/ -lib es2019,dom -t es2015
-
-for FILE in ./tmp/*; do
-    minify "${FILE}" > "./dist/${FILE/.\/tmp\/}"
-done
-
-rm -fr ./tmp