diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-27 01:43:32 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-27 01:43:32 +0200 |
| commit | eab369930516ece1d40658b891f4629d6f9ed8ac (patch) | |
| tree | 155d5a500a716db809712195457165c0c4826640 /doc/geiser.texi | |
| parent | 58ab7aec6417e4410c0b5f886b16c8f49168fa7c (diff) | |
| download | geiser-chez-eab369930516ece1d40658b891f4629d6f9ed8ac.tar.gz geiser-chez-eab369930516ece1d40658b891f4629d6f9ed8ac.tar.bz2 | |
A new tutorial bit
Diffstat (limited to 'doc/geiser.texi')
| -rw-r--r-- | doc/geiser.texi | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/doc/geiser.texi b/doc/geiser.texi index f5abc93..31ca5ce 100644 --- a/doc/geiser.texi +++ b/doc/geiser.texi @@ -40,12 +40,16 @@ The document was typeset with @c Output the table of the contents at the beginning. @contents -@include top.texi +@ifnottex +@node Top, Introduction, (dir), (dir) +@top Geiser + +@insertcopying @menu * Introduction:: * Installation:: -* Tutorial:: +* The REPL:: * Index:: @detailmenu @@ -62,12 +66,18 @@ Installation * Setting it up:: * Friends:: +The REPL + +* Starting the REPL:: + @end detailmenu @end menu +@end ifnottex + @include intro.texi @include install.texi -@include tutorial.texi +@include repl.texi @include index.texi @bye |