--- a/thys3/ROOT	Sun Nov 06 23:05:47 2022 +0000
+++ b/thys3/ROOT	Sun Nov 06 23:06:10 2022 +0000
@@ -27,6 +27,7 @@
     Paper
 document_files
   "root.tex"
+  "llncs.cls"
   "lipics-v2021.cls"
   "cc-by.pdf"
   "lipics-logo-bw.pdf"