From 797efe9267be633ce9fcc39c0a30009369b8c82c Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 8 Dec 2015 12:30:30 +0100 Subject: do not include the table of content in the html version, it has the menu MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- doc/info/content.texinfo | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/info/content.texinfo b/doc/info/content.texinfo index 9617f69..327d998 100644 --- a/doc/info/content.texinfo +++ b/doc/info/content.texinfo @@ -1,8 +1,10 @@ @c This file includes everything after the titlepage. +@ifnothtml @c @shortcontents @c (if the table of content gets too large.) @contents +@end ifnothtml @menu -- cgit v1.2.3-70-g09d2