From ab8f059cc19d0a7d9f52a4374636f704a9887f1d Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Sat, 6 Nov 2010 14:22:53 +0100
Subject: Manual nits

---
 doc/web.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/web.texi')

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
-- 
cgit v1.2.3