diff options
author | Mattias Andrée <maandree@member.fsf.org> | 2015-12-08 12:30:30 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@member.fsf.org> | 2015-12-08 12:30:30 +0100 |
commit | 797efe9267be633ce9fcc39c0a30009369b8c82c (patch) | |
tree | df49af9b07724be05ebe4b9bd123aafd7cf579e2 /doc | |
parent | update html_files (diff) | |
download | scrotty-797efe9267be633ce9fcc39c0a30009369b8c82c.tar.gz scrotty-797efe9267be633ce9fcc39c0a30009369b8c82c.tar.bz2 scrotty-797efe9267be633ce9fcc39c0a30009369b8c82c.tar.xz |
do not include the table of content in the html version, it has the menu
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/info/content.texinfo | 2 |
1 files changed, 2 insertions, 0 deletions
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 |