--- a/thys3/ROOT	Wed Oct 12 14:08:06 2022 +0100
+++ b/thys3/ROOT	Wed Oct 12 15:23:42 2022 +0100
@@ -27,6 +27,7 @@
     Paper
 document_files
   "root.tex"
+  "llncs.cls"
   "lipics-v2021.cls"
   "cc-by.pdf"
   "lipics-logo-bw.pdf"