\end_document replaces \the_end.

[lyx.git] / lib / lyx2lyx / lyxconvert_224.py

diff --git a/lib/lyx2lyx/lyxconvert_224.py b/lib/lyx2lyx/lyxconvert_224.py
index a64fc7be2a30337f5af2f5982de4cc3429f4dc95..db4148f372f90fd1b1f2d0bcf48e0be708cca642 100644 (file)
--- a/lib/lyx2lyx/lyxconvert_224.py
+++ b/lib/lyx2lyx/lyxconvert_224.py
@@ -78,9 +78,17 @@ def layout2begin_layout(lines):
         lines[i]= replace(lines[i], '\\layout', '\\begin_layout')
         i = i + 1
 
+def end_document(lines):
+    i = find_token(lines, "\\the_end", 0)
+    if i == -1:
+        lines.append("\\end_document")
+        return
+    lines[i] = "\\end_document"
+    
 def convert(header, body):
     add_end_layout(body)
     layout2begin_layout(body)
+    end_document(body)
 
 if __name__ == "__main__":
     pass