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 | ab8f059cc19d0a7d9f52a4374636f704a9887f1d (patch) | |
tree | a363e83909d1db9b664c5be74c335245156018f4 /doc/geiser.texi | |
parent | 178a9175bf1ff7a268a3376a729cd7bc05dabd6d (diff) | |
download | geiser-ab8f059cc19d0a7d9f52a4374636f704a9887f1d.tar.gz geiser-ab8f059cc19d0a7d9f52a4374636f704a9887f1d.tar.bz2 |
Manual nits
Diffstat (limited to 'doc/geiser.texi')
-rw-r--r-- | doc/geiser.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/geiser.texi b/doc/geiser.texi index 3a65e22..0294246 100644 --- a/doc/geiser.texi +++ b/doc/geiser.texi @@ -106,7 +106,7 @@ Cheat sheet @include intro.texi @include install.texi @include repl.texi -@include fun.texi +@include parens.texi @include cheat.texi @include thanks.texi @include index.texi |