# HG changeset patch # User Juri Linkov # Date 1085345728 0 # Node ID a7f7c0fa52a6b3c940b580b34b15058dc7fc4a50 # Parent 450a4292b3b7f6a2ac60a88f33486d880cd2ad36 (texinfo-print-index): Print index line numbers in the new Texinfo 4.7 format. diff -r 450a4292b3b7 -r a7f7c0fa52a6 lisp/textmodes/texinfmt.el --- a/lisp/textmodes/texinfmt.el Sun May 23 20:53:42 2004 +0000 +++ b/lisp/textmodes/texinfmt.el Sun May 23 20:55:28 2004 +0000 @@ -3032,7 +3032,7 @@ (indent-to 54) (insert (if (nth 2 (car indexelts)) - (format " %d." (nth 2 (car indexelts))) + (format " (line %3d)" (1+ (nth 2 (car indexelts)))) "") "\n")) ;; index entries from @include'd file