blob: 85d40d469dbb8be504de31d95b4bb7b484e7633e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
@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}.
* Hooks:: How to use hooks.
* Output:: How the output is formatted.
* 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 chap/hooks.texinfo
@include chap/output.texinfo
@include appx/free-software-needs-free-documentation.texinfo
@node GNU Free Documentation License
@appendix GNU Free Documentation License
@include appx/fdl.texinfo
|