From 484912e8a7c3848987cf88855c30e563dae3f654 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20Cr=C3=AAte?= Date: Wed, 1 Jun 2016 13:58:46 -0400 Subject: [PATCH] build.sh: No need to manually copy assets extra_assets in the json file does it for us. --- build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index d5615116c4..574f0510c2 100755 --- a/build.sh +++ b/build.sh @@ -1,3 +1,3 @@ hotdoc run -cp -R attachments built_doc/html/ -cp -R images built_doc/html/ +#cp -R attachments built_doc/html/ +#cp -R images built_doc/html/