From: Jürgen Spitzmüller <spitz@lyx.org>
Date: Tue, 25 Mar 2008 19:10:04 +0000 (+0000)
Subject: * lyx_1_6.py: attempt to fix the make install problem.
X-Git-Tag: 1.6.10~5436
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=e8ffafef998e17f0024b9646dc6adfde3af7ce03;p=lyx.git

* lyx_1_6.py: attempt to fix the make install problem.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@23953 a592a061-630c-0410-9148-cb99ea01b6c8
---

diff --git a/lib/lyx2lyx/lyx_1_6.py b/lib/lyx2lyx/lyx_1_6.py
index 69bbebf6bf..84740ddd26 100644
--- a/lib/lyx2lyx/lyx_1_6.py
+++ b/lib/lyx2lyx/lyx_1_6.py
@@ -1647,11 +1647,34 @@ def revert_local_layout(document):
 
 def convert_pagebreaks(document):
     ' Convert inline Newpage insets to new format '
-    for i in range(len(document.body)):
-        document.body[i] = document.body[i].replace('\\newpage', '\\begin_inset Newpage newpage\n\\end_inset')
-        document.body[i] = document.body[i].replace('\\pagebreak', '\\begin_inset Newpage pagebreak\n\\end_inset')
-        document.body[i] = document.body[i].replace('\\clearpage', '\\begin_inset Newpage clearpage\n\\end_inset')
-        document.body[i] = document.body[i].replace('\\cleardoublepage', '\\begin_inset Newpage cleardoublepage\n\\end_inset')
+    i = 0
+    while True:
+        i = find_token(document.body, '\\newpage', i)
+        if i == -1:
+            break
+        document.body[i:i+1] = ['\\begin_inset Newpage newpage',
+                             '\\end_inset']
+    i = 0
+    while True:
+        i = find_token(document.body, '\\pagebreak', i)
+        if i == -1:
+            break
+        document.body[i:i+1] = ['\\begin_inset Newpage pagebreak',
+                             '\\end_inset']
+    i = 0
+    while True:
+        i = find_token(document.body, '\\clearpage', i)
+        if i == -1:
+            break
+        document.body[i:i+1] = ['\\begin_inset Newpage clearpage',
+                             '\\end_inset']
+    i = 0
+    while True:
+        i = find_token(document.body, '\\cleardoublepage', i)
+        if i == -1:
+            break
+        document.body[i:i+1] = ['\\begin_inset Newpage cleardoublepage',
+                             '\\end_inset']
 
 
 def revert_pagebreaks(document):