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

diff -r d3b943ac148f -r 78f3f79c911b build_website.py
--- a/build_website.py	Sat May 23 20:33:38 2020 +0200
+++ b/build_website.py	Sat May 23 20:49:53 2020 +0200
@@ -80,7 +80,7 @@
             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)