# HG changeset patch
# User Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
# Date 1590259793 -7200
# Node ID 78f3f79c911b0cb7c4fc790c42db4a2570536eef
# Parent  d3b943ac148fad39bd72c1100ae4614966c605e0
mathieui: Add the CSS files.

diff --git a/build_website.py b/build_website.py
old mode 100644
new mode 100755
--- a/build_website.py
+++ b/build_website.py
@@ -80,7 +80,7 @@ def generate_pages(language):
             out.write(rendered)
     for static_resource in static:
         if path.isdir(static_resource):
-            copytree(static_resource, target_dir, dirs_exist_ok=True)
+            copytree(static_resource, path.join(target_dir, static_resource), dirs_exist_ok=True)
         else:
             copy(static_resource, target_dir)