--- doc/help/latexSplitter.py	2002/07/05 16:12:30	1.1
+++ doc/help/latexSplitter.py	2003/06/10 18:57:30	1.2
@@ -65,6 +65,7 @@ class LatexSplitter:
         self.text.delete("sel.first", "sel.last")
 
         f = file("latexSplitterTempResults", 'w')
+	f.write("\\label{%s}\n\n" % filename)
         f.write(self.text.get("1.0", END))
         f.close()