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/web.texi | |
parent | 58ab7aec6417e4410c0b5f886b16c8f49168fa7c (diff) | |
download | geiser-guile-eab369930516ece1d40658b891f4629d6f9ed8ac.tar.gz geiser-guile-eab369930516ece1d40658b891f4629d6f9ed8ac.tar.bz2 |
A new tutorial bit
Diffstat (limited to 'doc/web.texi')
-rw-r--r-- | doc/web.texi | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/web.texi b/doc/web.texi index b5140ed..120cc61 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -1,12 +1,17 @@ +@settitle Geiser + +@include macros.texi @contents +@node Top, Introduction, (dir), (dir) + @include top.texi @menu * Introduction:: * Installation:: -* Tutorial:: +* The REPL:: * Index:: @end menu @@ -24,7 +29,7 @@ list</a> @include intro.texi @include install.texi -@include tutorial.texi +@include repl.texi @include index.texi @bye |