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