summaryrefslogtreecommitdiff
path: root/doc/web.texi
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2010-11-06 14:22:53 +0100
committerJose Antonio Ortega Ruiz <jao@gnu.org>2010-11-06 14:22:53 +0100
commitab8f059cc19d0a7d9f52a4374636f704a9887f1d (patch)
treea363e83909d1db9b664c5be74c335245156018f4 /doc/web.texi
parent178a9175bf1ff7a268a3376a729cd7bc05dabd6d (diff)
downloadgeiser-ab8f059cc19d0a7d9f52a4374636f704a9887f1d.tar.gz
geiser-ab8f059cc19d0a7d9f52a4374636f704a9887f1d.tar.bz2
Manual nits
Diffstat (limited to 'doc/web.texi')
-rw-r--r--doc/web.texi2
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>&nbsp;
@include intro.texi
@include install.texi
@include repl.texi
-@include fun.texi
+@include parens.texi
@include cheat.texi
@include thanks.texi
@include index.texi