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