]> git.lyx.org Git - lyx.git/blob - lib/scripts/layout2layout.py
Submenu for box insertion.
[lyx.git] / lib / scripts / layout2layout.py
1 #! /usr/bin/env python
2 # -*- coding: utf-8 -*-
3
4 # file layout2layout.py
5 # This file is part of LyX, the document processor.
6 # Licence details can be found in the file COPYING.
7
8 # author Georg Baum
9
10 # Full author contact details are available in file CREDITS
11
12 # This script will update a .layout file to current format
13
14
15 import os, re, string, sys
16
17 # Incremented to format 4, 6 April 2007, lasgouttes
18 # Introduction of generic "Provides" declaration
19
20 # Incremented to format 5, 22 August 2007 by vermeer
21 # InsetLayout material
22
23 # Incremented to format 6, 7 January 2008 by spitz
24 # Requires tag added to layout files
25
26 # Incremented to format 7, 24 March 2008 by rgh
27 # AddToPreamble tag added to layout files
28
29 # Incremented to format 8, 25 July 2008 by rgh
30 # UseModule tag added to layout files
31 # CopyStyle added to InsetLayout
32
33 # Incremented to format 9, 5 October 2008 by rgh
34 # ForcePlain and CustomPars tags added to InsetLayout
35
36 # Incremented to format 10, 6 October 2008 by rgh
37 # Change format of counters
38
39 # Incremented to format 11, 14 October 2008 by rgh
40 # Add ProvidesModule, ExcludesModule tags
41
42 # Incremented to format 12, 10 January 2009 by gb
43 # Add I18NPreamble tag
44
45 # Incremented to format 13, 5 February 2009 by rgh
46 # Add InToc tag for InsetLayout
47
48 # Incremented to format 14, 14 February 2009 by gb
49 # Rename I18NPreamble to BabelPreamble and add LangPreamble
50
51 # Incremented to format 15, 28 May 2009 by lasgouttes
52 # Add new tag OutputFormat; modules can be conditioned on feature 
53 # "from->to".
54
55 # Incremented to format 16, 5 June 2009 by rgh
56 # Add new tags for Text Class:
57 #   HTMLPreamble, HTMLAddToPreamble
58 # For Layout:
59 #   HTMLTag, HTMLAttr, HTMLLabel, HTMLLabelAttr, HTMLItem, HTMLItemAttr
60 #   HTMLStyle, and HTMLPreamble
61 # For InsetLayout:
62 #   HTMLTag, HTMLAttr, HTMLStyle, and HTMLPreamble
63 # For Floats:
64 #   HTMLType, HTMLClass, HTMLStyle
65
66 # Incremented to format 17, 12 August 2009 by rgh
67 # Add IfStyle and IfCounter tags for layout.
68
69 # Incremented to format 18, 27 October 2009 by rgh
70 # Added some new tags for HTML output.
71
72 # Incremented to format 19, 17 November 2009 by rgh
73 # Added InPreamble tag.
74
75 # Incremented to format 20, 17 December 2009 by rgh
76 # Added ContentAsLabel tag.
77
78 # Incremented to format 21, 12 January 2010 by rgh
79 # Added HTMLTocLayout and HTMLTitle tags.
80
81 # Incremented to format 22, 20 January 2010 by rgh
82 # Added HTMLFormat tag to Counters.
83
84 # Incremented to format 23, 13 February 2010 by spitz
85 # Added Spellcheck tag.
86
87 # Incremented to format 24, 5 March 2010 by rgh
88 # Changed LaTeXBuiltin tag to NeedsFloatPkg and
89 # added new tag ListCommand.
90
91 # Incremented to format 25, 12 March 2010 by rgh
92 # Added RefPrefix tag for layouts and floats.
93
94 # Incremented to format 26, 29 March 2010 by rgh
95 # Added CiteFormat.
96
97 # Incremented to format 27, 4 June 2010 by rgh
98 # Added RequiredArgs tag.
99
100 # Incremented to format 28, 6 August 2010 by lasgouttes
101 # Added ParbreakIsNewline tag for Layout and InsetLayout.
102
103 # Incremented to format 29, 10 August 2010 by rgh
104 # Changed Custom:Style, CharStyle:Style, and Element:Style
105 # uniformly to Flex:Style.
106
107 # Incremented to format 30, 13 August 2010 by rgh
108 # Introduced ResetsFont tag for InsetLayout.
109
110 # Do not forget to document format change in Customization
111 # Manual (section "Declaring a new text class").
112
113 # You might also want to consider running the
114 # development/tools/updatelayouts.sh script to update all
115 # layout files to the new format.
116
117 currentFormat = 30
118
119
120 def usage(prog_name):
121     return ("Usage: %s inputfile outputfile\n" % prog_name +
122             "or     %s <inputfile >outputfile" % prog_name)
123
124
125 def error(message):
126     sys.stderr.write(message + '\n')
127     sys.exit(1)
128
129
130 def trim_bom(line):
131     " Remove byte order mark."
132     if line[0:3] == "\357\273\277":
133         return line[3:]
134     else:
135         return line
136
137
138 def read(source):
139     " Read input file and strip lineendings."
140     lines = source.read().splitlines()
141     lines[0] = trim_bom(lines[0])
142     return lines
143
144
145 def write(output, lines):
146     " Write output file with native lineendings."
147     output.write(os.linesep.join(lines) + os.linesep)
148
149
150 # Concatenates old and new in an intelligent way:
151 # If old is wrapped in ", they are stripped. The result is wrapped in ".
152 def concatenate_label(old, new):
153     # Don't use strip as long as we support python 1.5.2
154     if old[0] == '"':
155         return old[0:-1] + new + '"'
156     else:
157         return '"' + old + new + '"'
158
159 # appends a string to a list unless it's already there
160 def addstring(s, l):
161     if l.count(s) > 0:
162         return
163     l.append(s)
164
165
166 def convert(lines):
167     " Convert to new format."
168     re_Comment = re.compile(r'^(\s*)#')
169     re_Counter = re.compile(r'\s*Counter\s*', re.IGNORECASE)
170     re_Name = re.compile(r'\s*Name\s+(\S+)\s*', re.IGNORECASE)
171     re_UseMod = re.compile(r'^\s*UseModule\s+(.*)', re.IGNORECASE)
172     re_Empty = re.compile(r'^(\s*)$')
173     re_Format = re.compile(r'^(\s*)(Format)(\s+)(\S+)', re.IGNORECASE)
174     re_Preamble = re.compile(r'^(\s*)Preamble', re.IGNORECASE)
175     re_EndPreamble = re.compile(r'^(\s*)EndPreamble', re.IGNORECASE)
176     re_LangPreamble = re.compile(r'^(\s*)LangPreamble', re.IGNORECASE)
177     re_EndLangPreamble = re.compile(r'^(\s*)EndLangPreamble', re.IGNORECASE)
178     re_BabelPreamble = re.compile(r'^(\s*)BabelPreamble', re.IGNORECASE)
179     re_EndBabelPreamble = re.compile(r'^(\s*)EndBabelPreamble', re.IGNORECASE)
180     re_MaxCounter = re.compile(r'^(\s*)(MaxCounter)(\s+)(\S+)', re.IGNORECASE)
181     re_LabelType = re.compile(r'^(\s*)(LabelType)(\s+)(\S+)', re.IGNORECASE)
182     re_LabelString = re.compile(r'^(\s*)(LabelString)(\s+)(("[^"]+")|(\S+))', re.IGNORECASE)
183     re_LabelStringAppendix = re.compile(r'^(\s*)(LabelStringAppendix)(\s+)(("[^"]+")|(\S+))', re.IGNORECASE)
184     re_LatexType = re.compile(r'^(\s*)(LatexType)(\s+)(\S+)', re.IGNORECASE)
185     re_Style = re.compile(r'^(\s*)(Style)(\s+)(\S+)', re.IGNORECASE)
186     re_CopyStyle = re.compile(r'^(\s*)(CopyStyle)(\s+)(\S+)', re.IGNORECASE)
187     re_NoStyle = re.compile(r'^(\s*)(NoStyle)(\s+)(\S+)', re.IGNORECASE)
188     re_End = re.compile(r'^(\s*)(End)(\s*)$', re.IGNORECASE)
189     re_Provides = re.compile(r'^(\s*)Provides(\S+)(\s+)(\S+)', re.IGNORECASE)
190     re_CharStyle = re.compile(r'^(\s*)CharStyle(\s+)(\S+)$', re.IGNORECASE)
191     re_AMSMaths = re.compile(r'^\s*Input ams(?:math|def)s.inc\s*')
192     re_AMSMathsPlain = re.compile(r'^\s*Input amsmaths-plain.inc\s*')
193     re_AMSMathsSeq = re.compile(r'^\s*Input amsmaths-seq.inc\s*')
194     re_TocLevel = re.compile(r'^(\s*)(TocLevel)(\s+)(\S+)', re.IGNORECASE)
195     re_I18nPreamble = re.compile(r'^(\s*)I18nPreamble', re.IGNORECASE)
196     re_EndI18nPreamble = re.compile(r'^(\s*)EndI18nPreamble', re.IGNORECASE)
197     re_Float = re.compile(r'^\s*Float\s*$', re.IGNORECASE)
198     re_Type = re.compile(r'\s*Type\s+(\w+)', re.IGNORECASE)
199     re_Builtin = re.compile(r'^(\s*)LaTeXBuiltin\s+(\w*)', re.IGNORECASE)
200     re_True = re.compile(r'^\s*(?:true|1)\s*$', re.IGNORECASE)
201     re_InsetLayout = re.compile(r'^\s*InsetLayout\s+(?:Custom|CharStyle|Element):(\S+)\s*$')
202     # with quotes
203     re_QInsetLayout = re.compile(r'^\s*InsetLayout\s+"(?:Custom|CharStyle|Element):([^"]+)"\s*$')
204
205     # counters for sectioning styles (hardcoded in 1.3)
206     counters = {"part"          : "\\Roman{part}",
207                 "chapter"       : "\\arabic{chapter}",
208                 "section"       : "\\arabic{section}",
209                 "subsection"    : "\\arabic{section}.\\arabic{subsection}",
210                 "subsubsection" : "\\arabic{section}.\\arabic{subsection}.\\arabic{subsubsection}",
211                 "paragraph"     : "\\arabic{section}.\\arabic{subsection}.\\arabic{subsubsection}.\\arabic{paragraph}",
212                 "subparagraph"  : "\\arabic{section}.\\arabic{subsection}.\\arabic{subsubsection}.\\arabic{paragraph}.\\arabic{subparagraph}"}
213
214     # counters for sectioning styles in appendix (hardcoded in 1.3)
215     appendixcounters = {"chapter"       : "\\Alph{chapter}",
216                         "section"       : "\\Alph{section}",
217                         "subsection"    : "\\arabic{section}.\\arabic{subsection}",
218                         "subsubsection" : "\\arabic{section}.\\arabic{subsection}.\\arabic{subsubsection}",
219                         "paragraph"     : "\\arabic{section}.\\arabic{subsection}.\\arabic{subsubsection}.\\arabic{paragraph}",
220                         "subparagraph"  : "\\arabic{section}.\\arabic{subsection}.\\arabic{subsubsection}.\\arabic{paragraph}.\\arabic{subparagraph}"}
221
222     # Value of TocLevel for sectioning styles
223     toclevels = {"part"          : 0,
224                  "chapter"       : 0,
225                  "section"       : 1,
226                  "subsection"    : 2,
227                  "subsubsection" : 3,
228                  "paragraph"     : 4,
229                  "subparagraph"  : 5}
230
231     i = 0
232     only_comment = 1
233     counter = ""
234     toclevel = ""
235     label = ""
236     labelstring = ""
237     labelstringappendix = ""
238     space1 = ""
239     labelstring_line = -1
240     labelstringappendix_line = -1
241     labeltype_line = -1
242     latextype = ""
243     latextype_line = -1
244     style = ""
245     maxcounter = 0
246     format = 1
247     formatline = 0
248     usemodules = []
249
250     while i < len(lines):
251         # Skip comments and empty lines
252         if re_Comment.match(lines[i]) or re_Empty.match(lines[i]):
253             i += 1
254             continue
255
256         # insert file format if not already there
257         if (only_comment):
258             match = re_Format.match(lines[i])
259             if match:
260                 formatline = i
261                 format = int(match.group(4))
262                 if format > 1 and format < currentFormat:
263                     lines[i] = "Format %d" % (format + 1)
264                     only_comment = 0
265                 elif format == currentFormat:
266                     # nothing to do
267                     return format
268                 else:
269                     error('Cannot convert file format %s' % format)
270             else:
271                 lines.insert(i, "Format 2")
272                 only_comment = 0
273                 continue
274
275         # Don't get confused by LaTeX code
276         if re_Preamble.match(lines[i]):
277             i += 1
278             while i < len(lines) and not re_EndPreamble.match(lines[i]):
279                 i += 1
280             continue
281         if re_LangPreamble.match(lines[i]):
282             i += 1
283             while i < len(lines) and not re_EndLangPreamble.match(lines[i]):
284                 i += 1
285             continue
286         if re_BabelPreamble.match(lines[i]):
287             i += 1
288             while i < len(lines) and not re_EndBabelPreamble.match(lines[i]):
289                 i += 1
290             continue
291         
292         # Only new features
293         if format == 29:
294           i += 1
295           continue
296
297         if format == 28:
298           match = re_InsetLayout.match(lines[i])
299           if match:
300             lines[i] = "InsetLayout Flex:" + match.group(1)
301           else:
302             match = re_QInsetLayout.match(lines[i])
303             if match:
304               lines[i] = "InsetLayout \"Flex:" + match.group(1) + "\""
305           i += 1
306           continue
307         
308         # Only new features
309         if format >= 24 and format <= 27:
310           i += 1
311           continue
312
313         if format == 23:
314           match = re_Float.match(lines[i])
315           i += 1
316           if not match:
317             continue
318           # we need to do two things:
319           # (i)  Convert Builtin to NeedsFloatPkg
320           # (ii) Write ListCommand lines for the builtin floats table and figure
321           builtin = False
322           cmd = ""
323           while True and i < len(lines):
324             m1 = re_End.match(lines[i])
325             if m1:
326               if builtin and cmd:
327                 line = "    ListCommand " + cmd
328                 lines.insert(i, line)
329                 i += 1
330               break
331             m2 = re_Builtin.match(lines[i])
332             if m2:
333               builtin = True
334               ws1 = m2.group(1)
335               arg = m2.group(2)
336               newarg = ""
337               if re_True.match(arg):
338                 newarg = "false"
339               else:
340                 newarg = "true"
341               lines[i] = ws1 + "NeedsFloatPkg " + newarg
342             m3 = re_Type.match(lines[i])
343             if m3:
344               fltype = m3.group(1)
345               fltype = fltype.lower()
346               if fltype == "table":
347                 cmd = "listoftables"
348               elif fltype == "figure":
349                 cmd = "listoffigures"
350               # else unknown, which is why we're doing this
351             i += 1
352           continue              
353           
354         # This just involved new features, not any changes to old ones
355         if format >= 14 and format <= 22:
356           i += 1
357           continue
358
359         # Rename I18NPreamble to BabelPreamble
360         if format == 13:
361             match = re_I18nPreamble.match(lines[i])
362             if match:
363                 lines[i] = match.group(1) + "BabelPreamble"
364                 i += 1
365                 match = re_EndI18nPreamble.match(lines[i])
366                 while i < len(lines) and not match:
367                     i += 1
368                     match = re_EndI18nPreamble.match(lines[i])
369                 lines[i] = match.group(1) + "EndBabelPreamble"
370                 i += 1
371                 continue
372
373         # These just involved new features, not any changes to old ones
374         if format == 11 or format == 12:
375           i += 1
376           continue
377
378         if format == 10:
379             match = re_UseMod.match(lines[i])
380             if match:
381                 module = match.group(1)
382                 lines[i] = "DefaultModule " + module
383             i += 1
384             continue
385
386         if format == 9:
387             match = re_Counter.match(lines[i])
388             if match:
389                 counterline = i
390                 i += 1
391                 while i < len(lines):
392                     namem = re_Name.match(lines[i])
393                     if namem:
394                         name = namem.group(1)
395                         lines.pop(i)
396                         lines[counterline] = "Counter %s" % name
397                         # we don't need to increment i
398                         continue
399                     endem = re_End.match(lines[i])
400                     if endem:
401                         i += 1
402                         break
403                     i += 1
404             i += 1
405             continue
406
407         if format == 8:
408             # We want to scan for ams-type includes and, if we find them,
409             # add corresponding UseModule tags to the layout.
410             match = re_AMSMaths.match(lines[i])
411             if match:
412                 addstring("theorems-ams", usemodules)
413                 addstring("theorems-ams-extended", usemodules)
414                 addstring("theorems-sec", usemodules)
415                 lines.pop(i)
416                 continue
417             match = re_AMSMathsPlain.match(lines[i])
418             if match:
419                 addstring("theorems-starred", usemodules)
420                 lines.pop(i)
421                 continue
422             match = re_AMSMathsSeq.match(lines[i])
423             if match:
424                 addstring("theorems-ams", usemodules)
425                 addstring("theorems-ams-extended", usemodules)
426                 lines.pop(i)
427                 continue
428             i += 1
429             continue
430
431         # These just involved new features, not any changes to old ones
432         if format >= 5 and format <= 7:
433           i += 1
434           continue
435
436         if format == 4:
437             # Handle conversion to long CharStyle names
438             match = re_CharStyle.match(lines[i])
439             if match:
440                 lines[i] = "InsetLayout CharStyle:%s" % (match.group(3))
441                 i += 1
442                 lines.insert(i, "\tLyXType charstyle")
443                 i += 1
444                 lines.insert(i, "")
445                 lines[i] = "\tLabelString %s" % (match.group(3))
446             i += 1
447             continue
448
449         if format == 3:
450             # convert 'providesamsmath x',  'providesmakeidx x',  'providesnatbib x',  'providesurl x' to
451             #         'provides amsmath x', 'provides makeidx x', 'provides natbib x', 'provides url x'
452             # x is either 0 or 1
453             match = re_Provides.match(lines[i])
454             if match:
455                 lines[i] = "%sProvides %s%s%s" % (match.group(1), match.group(2).lower(),
456                                                   match.group(3), match.group(4))
457             i += 1
458             continue
459
460         if format == 2:
461             caption = []
462
463             # delete caption styles
464             match = re_Style.match(lines[i])
465             if match:
466                 style = string.lower(match.group(4))
467                 if style == "caption":
468                     del lines[i]
469                     while i < len(lines) and not re_End.match(lines[i]):
470                         caption.append(lines[i])
471                         del lines[i]
472                     if i == len(lines):
473                         error('Incomplete caption style.')
474                     else:
475                         del lines[i]
476                         continue
477
478             # delete undefinition of caption styles
479             match = re_NoStyle.match(lines[i])
480             if match:
481                 style = string.lower(match.group(4))
482                 if style == "caption":
483                     del lines[i]
484                     continue
485
486             # replace the CopyStyle statement with the definition of the real
487             # style. This may result in duplicate statements, but that is OK
488             # since the second one will overwrite the first one.
489             match = re_CopyStyle.match(lines[i])
490             if match:
491                 style = string.lower(match.group(4))
492                 if style == "caption":
493                     if len(caption) > 0:
494                         lines[i:i+1] = caption
495                     else:
496                         # FIXME: This style comes from an include file, we
497                         # should replace the real style and not this default.
498                         lines[i:i+1] = ['       Margin                First_Dynamic',
499                                         '       LatexType             Command',
500                                         '       LatexName             caption',
501                                         '       NeedProtect           1',
502                                         '       LabelSep              xx',
503                                         '       ParSkip               0.4',
504                                         '       TopSep                0.5',
505                                         '       Align                 Center',
506                                         '       AlignPossible         Center',
507                                         '       LabelType             Sensitive',
508                                         '       LabelString           "Senseless!"',
509                                         '       OptionalArgs          1',
510                                         '       LabelFont',
511                                         '         Series              Bold',
512                                         '       EndFont']
513
514             i += 1
515             continue
516
517         # Delete MaxCounter and remember the value of it
518         match = re_MaxCounter.match(lines[i])
519         if match:
520             level = match.group(4)
521             if string.lower(level) == "counter_chapter":
522                 maxcounter = 0
523             elif string.lower(level) == "counter_section":
524                 maxcounter = 1
525             elif string.lower(level) == "counter_subsection":
526                 maxcounter = 2
527             elif string.lower(level) == "counter_subsubsection":
528                 maxcounter = 3
529             elif string.lower(level) == "counter_paragraph":
530                 maxcounter = 4
531             elif string.lower(level) == "counter_subparagraph":
532                 maxcounter = 5
533             elif string.lower(level) == "counter_enumi":
534                 maxcounter = 6
535             elif string.lower(level) == "counter_enumii":
536                 maxcounter = 7
537             elif string.lower(level) == "counter_enumiii":
538                 maxcounter = 8
539             del lines[i]
540             continue
541
542         # Replace line
543         #
544         # LabelType Counter_EnumI
545         #
546         # with two lines
547         #
548         # LabelType Counter
549         # LabelCounter EnumI
550         #
551         match = re_LabelType.match(lines[i])
552         if match:
553             label = match.group(4)
554             # Remember indenting space for later reuse in added lines
555             space1 = match.group(1)
556             # Remember the line for adding the LabelCounter later.
557             # We can't do it here because it could shift latextype_line etc.
558             labeltype_line = i
559             if string.lower(label[:8]) == "counter_":
560                 counter = string.lower(label[8:])
561                 lines[i] = re_LabelType.sub(r'\1\2\3Counter', lines[i])
562
563         # Remember the LabelString line
564         match = re_LabelString.match(lines[i])
565         if match:
566             labelstring = match.group(4)
567             labelstring_line = i
568
569         # Remember the LabelStringAppendix line
570         match = re_LabelStringAppendix.match(lines[i])
571         if match:
572             labelstringappendix = match.group(4)
573             labelstringappendix_line = i
574
575         # Remember the LatexType line
576         match = re_LatexType.match(lines[i])
577         if match:
578             latextype = string.lower(match.group(4))
579             latextype_line = i
580
581         # Remember the TocLevel line
582         match = re_TocLevel.match(lines[i])
583         if match:
584             toclevel = string.lower(match.group(4))
585
586         # Reset variables at the beginning of a style definition
587         match = re_Style.match(lines[i])
588         if match:
589             style = string.lower(match.group(4))
590             counter = ""
591             toclevel = ""
592             label = ""
593             space1 = ""
594             labelstring = ""
595             labelstringappendix = ""
596             labelstring_line = -1
597             labelstringappendix_line = -1
598             labeltype_line = -1
599             latextype = ""
600             latextype_line = -1
601
602         if re_End.match(lines[i]):
603
604             # Add a line "LatexType Bib_Environment" if LabelType is Bibliography
605             # (or change the existing LatexType)
606             if string.lower(label) == "bibliography":
607                 if (latextype_line < 0):
608                     lines.insert(i, "%sLatexType Bib_Environment" % space1)
609                     i += 1
610                 else:
611                     lines[latextype_line] = re_LatexType.sub(r'\1\2\3Bib_Environment', lines[latextype_line])
612
613             # Change "LabelType Static" to "LabelType Itemize" for itemize environments
614             if latextype == "item_environment" and string.lower(label) == "static":
615                 lines[labeltype_line] = re_LabelType.sub(r'\1\2\3Itemize', lines[labeltype_line])
616
617             # Change "LabelType Counter_EnumI" to "LabelType Enumerate" for enumerate environments
618             if latextype == "item_environment" and string.lower(label) == "counter_enumi":
619                 lines[labeltype_line] = re_LabelType.sub(r'\1\2\3Enumerate', lines[labeltype_line])
620                 # Don't add the LabelCounter line later
621                 counter = ""
622
623             # Replace
624             #
625             # LabelString "Chapter"
626             #
627             # with
628             #
629             # LabelString "Chapter \arabic{chapter}"
630             #
631             # if this style has a counter. Ditto for LabelStringAppendix.
632             # This emulates the hardcoded article style numbering of 1.3
633             #
634             if counter != "":
635                 if counters.has_key(style):
636                     if labelstring_line < 0:
637                         lines.insert(i, '%sLabelString "%s"' % (space1, counters[style]))
638                         i += 1
639                     else:
640                         new_labelstring = concatenate_label(labelstring, counters[style])
641                         lines[labelstring_line] = re_LabelString.sub(
642                                 r'\1\2\3%s' % new_labelstring.replace("\\", "\\\\"),
643                                 lines[labelstring_line])
644                 if appendixcounters.has_key(style):
645                     if labelstringappendix_line < 0:
646                         lines.insert(i, '%sLabelStringAppendix "%s"' % (space1, appendixcounters[style]))
647                         i += 1
648                     else:
649                         new_labelstring = concatenate_label(labelstring, appendixcounters[style])
650                         lines[labelstringappendix_line] = re_LabelStringAppendix.sub(
651                                 r'\1\2\3%s' % new_labelstring.replace("\\", "\\\\"),
652                                 lines[labelstringappendix_line])
653
654                 # Now we can safely add the LabelCounter line
655                 lines.insert(labeltype_line + 1, "%sLabelCounter %s" % (space1, counter))
656                 i += 1
657
658             # Add the TocLevel setting for sectioning styles
659             if toclevel == "" and toclevels.has_key(style) and maxcounter <= toclevels[style]:
660                 lines.insert(i, '%s\tTocLevel %d' % (space1, toclevels[style]))
661                 i += 1
662
663         i += 1
664
665     if usemodules:
666         i = formatline + 1
667         for mod in usemodules:
668             lines.insert(i, "UseModule " + mod)
669             i += 1
670
671     return format + 1
672
673
674 def main(argv):
675
676     # Open files
677     if len(argv) == 1:
678         source = sys.stdin
679         output = sys.stdout
680     elif len(argv) == 3:
681         source = open(argv[1], 'rb')
682         output = open(argv[2], 'wb')
683     else:
684         error(usage(argv[0]))
685
686     # Do the real work
687     lines = read(source)
688     format = 1
689     while (format < currentFormat):
690         format = convert(lines)
691     write(output, lines)
692
693     # Close files
694     if len(argv) == 3:
695         source.close()
696         output.close()
697
698     return 0
699
700
701 if __name__ == "__main__":
702     main(sys.argv)