diff --git a/ChangeLog b/ChangeLog
index ec311e8e..a4ca6739 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2010-08-20  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
+	Don't hide the table of contents in the manual.
+	* doc/libtool.texi: Move the table of contents to the beginning.
+	Prompted by patch from Bruno Haible against Automake.
+
 	Remove superfluous dependency in Makefile.am.
 	* Makefile.am (tests/demo-conf.test): Remove dependency on
 	libtool, this test is a primary source and not generated.
diff --git a/doc/libtool.texi b/doc/libtool.texi
index 3f356c38..d0eaec4c 100644
--- a/doc/libtool.texi
+++ b/doc/libtool.texi
@@ -70,6 +70,8 @@ the section entitled "GNU Free Documentation License".
 @syncodeindex tp cp
 @synindex pg cp
 
+@contents
+
 @ifnottex
 @node Top, Introduction, (dir), (dir)
 @comment  node-name,  next,  previous,  up
@@ -6368,6 +6370,4 @@ order to test new changes without having to rerun @code{configure}.
 
 @printindex cp
 
-@c summarycontents
-@contents
 @bye