--- old/emacs.texi	2020-08-19 15:44:47.000000000 +0200
+++ new/emacs.texi	2020-08-20 20:06:46.751323200 +0200
@@ -99,6 +99,7 @@
 
 @end titlepage
 
+@headings double
 
 @summarycontents
 @contents