build instructions and removal of built files (and gh action)

This commit is contained in:
Spax
2025-11-02 00:55:43 -07:00
parent 0ea85d1885
commit ee91611c92
17 changed files with 72 additions and 2835 deletions

2
build.ps1 Normal file → Executable file
View File

@@ -1 +1 @@
latexmlc --destination=export/index.html pghrt; python soup.py
latexmlc --destination=export/index.html pghrt; python soup.py