Robert Garrett 0c915b025e HTML-installing targets remove the other one ...

This is actually a build configuration task, but I don't have a tool to
do that (no `./configure.sh` to run!).

To work around this, I'll just have each of the html-installing targets
install their own and remove the other. That way back-to-back builds
don't accidentally contaminate each other. The WASM and JS files are
identical, so they don't need this treatment.

2025-11-06 10:22:44 -06:00

1.9 KiB

Raw Blame History

View Raw