aboutsummaryrefslogtreecommitdiffstats
path: root/doc/info/content.texinfo
diff options
context:
space:
mode:
authorMattias Andrée <maandree@member.fsf.org>2015-12-30 15:42:17 +0100
committerMattias Andrée <maandree@member.fsf.org>2015-12-30 15:42:17 +0100
commit8a12d77ea4751147bb01b36e1380077e46ec27fa (patch)
tree317c48946253f12373361dc2628681b7c65b5fea /doc/info/content.texinfo
parentempty arguments must be quoted too (diff)
downloadsat-8a12d77ea4751147bb01b36e1380077e46ec27fa.tar.gz
sat-8a12d77ea4751147bb01b36e1380077e46ec27fa.tar.bz2
sat-8a12d77ea4751147bb01b36e1380077e46ec27fa.tar.xz
beginning of texinfo manual
Signed-off-by: Mattias Andrée <maandree@member.fsf.org>
Diffstat (limited to '')
-rw-r--r--doc/info/content.texinfo28
1 files changed, 28 insertions, 0 deletions
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
+