diff -r 86a48bdf82d1 -r 873d0b16aaa9 cws/build
--- a/cws/build	Mon Dec 26 16:49:53 2022 +0000
+++ b/cws/build	Sat Jan 14 14:13:16 2023 +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"} 
+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"} 
 
 for f in $fls; do
     echo -e "making $f"