1 Commits

Author	SHA1	Message	Date
Michael Czechowski	c57db78c52	rework dev server: hmr for all courses, per-course targets, root index ... - make dev serves all courses on port 1312 with marp live reload - make dev-b/dev-c for single course on 1313/1314 - dev-kill only kills specific ports instead of all marp processes - add generate-root-index.sh for prod build overview page - cleanup function uses exec + trap instead of pid files	2026-04-09 22:10:48 +02:00