diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 15:25:02 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-06-29 15:25:02 +0200 |
| commit | a76d6e96fa315707c224ce7993901a89ad266ef0 (patch) | |
| tree | f899ca1ea9bf3cf4070764814dfad6869e7312af /doc/web.texi | |
| parent | bad22c85256d9b908b7521c2dc9b8dafdd76a7a4 (diff) | |
| download | geiser-a76d6e96fa315707c224ce7993901a89ad266ef0.tar.gz geiser-a76d6e96fa315707c224ce7993901a89ad266ef0.tar.bz2 | |
Web pages sync'd
Diffstat (limited to 'doc/web.texi')
| -rw-r--r-- | doc/web.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/web.texi b/doc/web.texi index 120cc61..0ae33a1 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -12,6 +12,7 @@ * Introduction:: * Installation:: * The REPL:: +* Fun between the parens:: * Index:: @end menu @@ -30,6 +31,7 @@ list</a> @include intro.texi @include install.texi @include repl.texi +@include fun.texi @include index.texi @bye |