Separate the general from the WL-specific: PDF
[librarian.git] / scripts / bookfragments
index f29e11e..0d94497 100755 (executable)
@@ -1,4 +1,9 @@
 #!/usr/bin/env python
 #!/usr/bin/env python
+# -*- coding: utf-8 -*-
+#
+# This file is part of Librarian, licensed under GNU Affero GPLv3 or later.
+# Copyright © Fundacja Nowoczesna Polska. See NOTICE for more information.
+#
 import os
 import optparse
 
 import os
 import optparse
 
@@ -9,25 +14,25 @@ if __name__ == '__main__':
     # Parse commandline arguments
     usage = """Usage: %prog [options] SOURCE [SOURCE...]
     Extract theme fragments from SOURCE."""
     # Parse commandline arguments
     usage = """Usage: %prog [options] SOURCE [SOURCE...]
     Extract theme fragments from SOURCE."""
-    
+
     parser = optparse.OptionParser(usage=usage)
     parser = optparse.OptionParser(usage=usage)
-    
+
     parser.add_option('-v', '--verbose', action='store_true', dest='verbose', default=False,
         help='print status messages to stdout')
     parser.add_option('-v', '--verbose', action='store_true', dest='verbose', default=False,
         help='print status messages to stdout')
-    
+
     options, input_filenames = parser.parse_args()
     options, input_filenames = parser.parse_args()
-    
+
     if len(input_filenames) < 1:
         parser.print_help()
         exit(1)
     if len(input_filenames) < 1:
         parser.print_help()
         exit(1)
-    
+
     # Do some real work
     for input_filename in input_filenames:
         if options.verbose:
             print input_filename
     # Do some real work
     for input_filename in input_filenames:
         if options.verbose:
             print input_filename
-    
+
         output_filename = os.path.splitext(input_filename)[0] + '.fragments.html'
         output_filename = os.path.splitext(input_filename)[0] + '.fragments.html'
-    
+
         closed_fragments, open_fragments = html.extract_fragments(input_filename)
 
         for fragment_id in open_fragments:
         closed_fragments, open_fragments = html.extract_fragments(input_filename)
 
         for fragment_id in open_fragments: