Parcourir la source

update documentations

milan jurkulák il y a 2 ans
Parent
commit
aee29c1d22
1 fichiers modifiés avec 2 ajouts et 1 suppressions
  1. 2 1
      scripts/update-wiki.sh

+ 2 - 1
scripts/update-wiki.sh

@@ -25,7 +25,8 @@ echo "Cloning wiki repo https://github.com/$GITHUB_REPOSITORY.wiki.git"
 git clone "https://$GITHUB_ACTOR:$GH_TOKEN@github.com/$GITHUB_REPOSITORY.wiki.git" "$TEMP_REPO_DIR"
 # Copy wikis
 echo "Copying edited wiki"
-cp -R "$WIKI_DIR" "$TEMP_REPO_DIR"
+echo "Copying : $WIKI_DIR -> $TEMP_REPO_DIR"
+cp -a "$WIKI_DIR" "$TEMP_REPO_DIR"
 # Get commit details
 author=$(git log -1 --format="%an")
 email=$(git log -1 --format="%ae")