doc/Contents

--- a/doc/Contents	Fri Nov 04 20:02:54 2022 +0100
+++ b/doc/Contents	Fri Nov 04 20:15:54 2022 +0100
@@ -22,6 +22,7 @@
   demo_easychair  Demo for Easychair style
   demo_foiltex    Demo for FoilTeX: slides in LaTeX
   demo_lipics     Demo for Dagstuhl LIPIcs style
+  demo_llncs      Demo for Springer LaTeX LNCS style
 
 Old Isabelle Manuals
   tutorial        Tutorial on Isabelle/HOL