| changeset 499 | 2f33c51cac48 |
| parent 456 | 873d0b16aaa9 |
--- a/cws/build Thu Nov 13 17:44:58 2025 +0000 +++ b/cws/build Thu Nov 13 21:53:20 2025 +0000 @@ -1,7 +1,7 @@ #!/bin/bash set -euo pipefail -fls=${1:-"core_cw01.tex core_cw02.tex core_cw03.tex main_cw01.tex main_cw02.tex main_cw03.tex main_cw04.tex main_cw05.tex resit.tex"} +fls=${1:-"core_cw01.tex core_cw02.tex core_cw03.tex main_cw02.tex main_cw03.tex main_cw04.tex main_cw05.tex resit.tex"} for f in $fls; do echo -e "making $f"