Merge branch 'dev' into main

Author: MaoSong2022

batch_process.py

@@ -71,7 +71,8 @@ def remove_redundant_stuff(main_directory: str) -> None:
         f"{main_directory}/output/paper_original",
     ]
     for folder in redundant_folders:
-        shutil.rmtree(folder)
+        if os.path.exists(folder):
+            shutil.rmtree(folder)
 
 
 def process_one_file(file_name) -> None:
@@ -145,7 +146,6 @@ def filter_tex_files(tex_files: List[str], main_path: str = None) -> List[str]:
     result = []
     for tex_file in tex_files:
         if main_path and os.path.dirname(os.path.dirname(tex_file)) != main_path:
-            log.info(f"not the valid tex file: {tex_file}")
             continue
         # prevent processing previous generated files
         try:

vrdu/preprocess.py

@@ -135,19 +135,19 @@ def replace_pdf_figures_with_png(original_tex: str) -> None:
 
     # Replace PDF paths with PNG paths
     for match in matches:
-        pdf_image_name = match[1]
-        pdf_image = os.path.join(
-            main_directory, os.path.join(graphic_path, pdf_image_name)
+        image_name = match[1]
+        image_file = os.path.join(
+            main_directory, os.path.join(graphic_path, image_name)
         )
-        if not os.path.exists(pdf_image):
-            raise FileNotFoundError(f"File not found: {pdf_image}")
+        if not os.path.exists(image_file):
+            raise FileNotFoundError(f"File not found: {image_file}")
 
-        png_image_name = os.path.splitext(pdf_image_name)[0] + ".png"
+        png_image_name = os.path.splitext(image_name)[0] + ".png"
         png_image = os.path.join(
             main_directory, os.path.join(graphic_path, png_image_name)
         )
 
-        utils.convert_pdf_figure_to_png_image(pdf_image, png_image)
+        utils.convert_pdf_figure_to_png_image(image_file, png_image)
 
         # replace the reference in tex file
         content = content.replace(match[1], png_image_name)