Merge branch 'rohlfing-fix-case-sensitive-file-ending' into 'master'

Fix case-sensitive file ending checks

See merge request !35

encrypt.py

@@ -77,7 +77,7 @@ def main(args):
     starttime = time.time()
     pdf_folder = os.listdir(infolder)
     pdf_files = [_ for _ in pdf_folder
-                 if _.endswith(".pdf")]
+                 if _.lower().endswith(".pdf")]
     print("""
 Available PDFs to be encrypted:
 - {}

watermark.py

@@ -283,7 +283,7 @@ def main(args):
     starttime = time.time()
     pdf_folder = os.listdir(infolder)
     pdf_files = [_ for _ in pdf_folder
-                 if _.endswith(".pdf") and matnum_utils.starts_with_matnum(_)]
+                 if _.lower().endswith(".pdf") and matnum_utils.starts_with_matnum(_)]
     print("""
 Available PDFs to be watermarked:
 - {}