diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-06 14:22:53 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2010-11-06 14:22:53 +0100 |
| commit | f972d32e556e305936e4aa9f1249fe2846e07a20 (patch) | |
| tree | e44a0b9855ae5f6d0ac2d5bb06a9efb43ebf25e5 /doc/web.texi | |
| parent | 545ed6843fb39f6ed6ef6d7cb28fe8e4cc07e1c5 (diff) | |
| download | geiser-guile-f972d32e556e305936e4aa9f1249fe2846e07a20.tar.gz geiser-guile-f972d32e556e305936e4aa9f1249fe2846e07a20.tar.bz2 | |
Manual nits
Diffstat (limited to 'doc/web.texi')
| -rw-r--r-- | doc/web.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/web.texi b/doc/web.texi index 19633c1..828c02d 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -34,7 +34,7 @@ list</a> @include intro.texi @include install.texi @include repl.texi -@include fun.texi +@include parens.texi @include cheat.texi @include thanks.texi @include index.texi |