Files
RTLPlayground/doc
DrDoof 337b171ac4 build: minify the web files only when they change
html_min was phony, so every make deleted output/html_min and minified
all of html/ again, even with nothing changed. A stamp file now stands for
the minified copy and depends on the sources and on minify.py. A list of
the source names, rewritten only when it changes, is a dependency too, so
adding or removing a file in html/ still redoes the copy and a removed
file does not stay behind in the image. If output/html_min is missing,
the stamp is remade in the same run.

The note on version.h in webui-compression.md still said it was phony.
2026-10-25 03:11:03 +01:00
..
2026-09-17 10:13:14 +01:00
2025-12-29 18:21:16 +01:00
2026-01-22 23:04:07 +01:00
2025-12-29 18:21:16 +01:00
2025-07-14 07:58:55 +02:00
2026-09-29 22:40:59 +02:00
2025-07-23 09:17:07 +02:00