diff -r 0f1b97538ad4 -r 2f33c51cac48 cws/build
--- 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"