--- doc/help/texxml2indextex.pl	2002/08/09 14:48:31	1.2
+++ doc/help/texxml2indextex.pl	2003/06/20 21:10:52	1.3
@@ -106,4 +106,3 @@ while (my $token = $p->get_token())
     }
 }
 
-print "\n\n\\end{document}\n\n";