From 6b8196071a75d58c6b0f190f43854ed48978feda Mon Sep 17 00:00:00 2001
From: Simon Warta <simon@warta.it>
Date: Wed, 8 Jul 2020 07:59:22 +0200
Subject: [PATCH] Fix docs copy command

---
 scripts/docs/copy_docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/docs/copy_docs.sh b/scripts/docs/copy_docs.sh
index 29f02437..0acd357b 100755
--- a/scripts/docs/copy_docs.sh
+++ b/scripts/docs/copy_docs.sh
@@ -32,7 +32,7 @@ for package_dir in ./packages/*/ ; do
   if [ -d "$package_docs_src" ]; then
     mkdir -p "$package_docs_dest"
     echo "$package_basename: $package_docs_src -> $package_docs_dest"
-    cp -R "$package_docs_src/" "$package_docs_dest"
+    cp -R "$package_docs_src/"* "$package_docs_dest"
 
     echo "  <li><a href='./latest/$package_basename/index.html'>$package_name</a></li>" >> "$index"
   fi