Fix in sync-docs.py: copy images from beman/docs/images

Author: Darius Neațu

docs/images/release.notes-example01.png

@@ -21,13 +21,30 @@ def copy_images(beman_repo_path: Path, website_repo_path: Path):
     Copy directory beman/images/ to /static/images/ for website build.
     Copy directory beman/images/ to / for previews in editors.
     """
-    beman_images_path = beman_repo_path / 'images'
-    target_directories = [
-        website_repo_path / 'images',
-        website_repo_path / 'static' / 'images',
+    tasks = [
+        {
+            'source': beman_repo_path / 'images',
+            'target': website_repo_path / 'images',
+        },
+        {
+            'source': beman_repo_path / 'images',
+            'target': website_repo_path / 'static' / 'images',
+        },
+        {
+            'source': beman_repo_path / 'docs' / 'images',
+            'target': website_repo_path / 'docs' / 'images',
+        },
+        {
+            'source': beman_repo_path / 'docs' / 'images',
+            'target': website_repo_path / 'static' / 'docs' / 'images',
+        },
     ]
-    for target_directory in target_directories:
+    
+    for task in tasks:
+        beman_images_path = task['source']
+        target_directory = task['target']
         print(f"Copying images from {beman_images_path} to {target_directory}")
+
         # Remove the target_directory if it exists and create it again.
         if target_directory.exists():
             shutil.rmtree(target_directory)