Issue 1135: changing @findex to @funindex in scm/document-identifiers.scm

diff --git a/scm/document-identifiers.scm b/scm/document-identifiers.scm
index 838de55e558db9bad72d1fafc3972318dd2ce54a..f83ba4505638bdb903808b90cccdaaccb693a730 100644 (file)
--- 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