From 7f28a9a5f39cdfd130cc960e23a7d8a49e8069a1 Mon Sep 17 00:00:00 2001 From: Tobias Gruetzmacher Date: Mon, 13 Apr 2020 12:21:22 +0200 Subject: [PATCH] Website: Remove some noise from the deployed pages --- .github/deploy.sh | 5 ++--- .github/website-exclude | 11 +++++++++++ 2 files changed, 13 insertions(+), 3 deletions(-) create mode 100644 .github/website-exclude diff --git a/.github/deploy.sh b/.github/deploy.sh index 896aa68ea..5b9be9885 100755 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -21,9 +21,8 @@ git clone --depth=10 --branch=gh-pages "git@github.com:${TRAVIS_REPO_SLUG}.git" rm -Rfv dosage.egg-info ssite build --output "$P/out" -rsync -r --del --verbose --exclude tests \ - --exclude dosagelib --exclude dist --exclude build --exclude scripts \ - "$P/out/"* "$P/git" +rsync -r --del --verbose --cvs-exclude --exclude-from .github/website-exclude \ + "$P/out/" "$P/git" cd "$P/git" diff --git a/.github/website-exclude b/.github/website-exclude new file mode 100644 index 000000000..b128a3b6d --- /dev/null +++ b/.github/website-exclude @@ -0,0 +1,11 @@ +Jenkinsfile +build +cc-test-reporter +coverage +dist +dosage +dosagelib +scripts +setup.cfg +setup.py +tests