Skip to content
This repository was archived by the owner on May 24, 2022. It is now read-only.

Fix update docs script #98

Merged
merged 1 commit into from
Jan 18, 2019
Merged

Fix update docs script #98

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion scripts/update-docs.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ git add .
git commit -m "[ci skip] Update docs"

# Copy the generated html files in gh-pages
git checkout gh-pages
git checkout --track origin/gh-pages
for SCOPE in "${ARRAY[@]}"
do
rm -rf $SCOPE
Expand Down