From 8a12d77ea4751147bb01b36e1380077e46ec27fa Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Wed, 30 Dec 2015 15:42:17 +0100 Subject: beginning of texinfo manual 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 | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 doc/info/content.texinfo (limited to 'doc/info/content.texinfo') diff --git a/doc/info/content.texinfo b/doc/info/content.texinfo new file mode 100644 index 0000000..d620a10 --- /dev/null +++ b/doc/info/content.texinfo @@ -0,0 +1,28 @@ +@c This file includes everything after the titlepage. + + +@ifnothtml +@c @shortcontents @c (if the table of content gets too large.) +@contents +@end ifnothtml + + +@menu +* Overview:: Brief overview of @command{sat}. +* Invoking:: Invocation of @command{sat}. + +* Free Software Needs Free Documentation:: Why free documentation is important. +* GNU Free Documentation License:: Copying and sharing this manual. +@end menu +@c In GNU Emacs a @detailmenu can be created with `C-c C-u m`. + + +@include chap/overview.texinfo +@include chap/invoking.texinfo + +@include appx/free-software-needs-free-documentation.texinfo + +@node GNU Free Documentation License +@appendix GNU Free Documentation License +@include appx/fdl.texinfo + -- cgit v1.2.3-70-g09d2