--- a/hws/upload	Fri Oct 13 23:49:34 2023 +0100
+++ b/hws/upload	Sat Oct 21 09:09:09 2023 +0100
@@ -9,7 +9,8 @@
 	hw06.pdf
 	hw07.pdf
 	hw08.pdf
-	hw09.pdf"} 
+	hw09.pdf
+        Der.pdf"} 
 
 for f in $fls; do
     echo -e "uploading $f"