File tla-1.2-texi.patch of Package tla

Patch from rpm made by Ott Alex <ott@altlinux.ru>

diff -uwbr tla-1.2/src/docs-tla/texi/indexes.texi tla-1.2-my/src/docs-tla/texi/indexes.texi
--- tla-1.2/src/docs-tla/texi/indexes.texi	2003-12-06 22:30:30 +0300
+++ tla-1.2-my/src/docs-tla/texi/indexes.texi	2004-02-28 19:12:43 +0300
@@ -1,7 +1,6 @@
 @need 3200
-
-@node Indexes
-@centerchap Indexes
+@node Indexes, , Uh....a Little Help Here?, Top
+@unnumberedsec Indexes
 
 
 @printindex xa