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