From d27c2a4bedbdb9f4645ccb3afcddc74ce399b5f8 Mon Sep 17 00:00:00 2001
From: Marc Hohl <marc@hohlart.de>
Date: Mon, 12 Sep 2011 16:39:04 +0200
Subject: [PATCH] Issue 1135: changing @findex to @funindex in
 scm/document-identifiers.scm

---
 scm/document-identifiers.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scm/document-identifiers.scm b/scm/document-identifiers.scm
index 838de55e55..f83ba45056 100644
--- a/scm/document-identifiers.scm
+++ b/scm/document-identifiers.scm
@@ -37,7 +37,7 @@
 	      (zip arg-names type-names)))))
     (format #f
      "@item @code{~a}~a~a
-@findex ~a
+@funindex ~a
 ~a
 "
      name-sym (if (equal? "" signature-str) "" " - ") signature-str
-- 
2.39.2