A source extractor for lightweight literate programming

The only thing the main does is iterate over the list of files given as command line arguments, processing each one in turn by calling Section 4.6, “ processFile: Process one input file ”.

# - - - - -   m a i n   - - - - -

def main():
    """Main program for litsource."""

    #-- 1 --
    for inFileName in sys.argv[1:]:
        #-- 1 body --
        # [ if inFileName names a readable, valid DocBook XML file ->
        #     output files named in that file  :=  code fragments
        #       designated for those files
        #     sys.stderr  +:=  error messages from processing that file,
        #                      if any
        #   else ->
        #     sys.stderr  +:=  error message ]
        processFile ( inFileName )