diff -r 9d3b9e89455f -r fac28b6c37e8 doc/Contents
--- a/doc/Contents	Mon Oct 31 11:04:54 2022 +0100
+++ b/doc/Contents	Mon Oct 31 15:50:13 2022 +0100
@@ -18,6 +18,9 @@
   system          The Isabelle System Manual
   jedit           Isabelle/jEdit
 
+Demo Documents
+  demo_lipics     Demo for Dagstuhl LIPIcs style
+
 Old Isabelle Manuals
   tutorial        Tutorial on Isabelle/HOL
   intro           Old Introduction to Isabelle