Skip to content

Commit

Permalink
Refactor
Browse files Browse the repository at this point in the history
  • Loading branch information
geographika committed Dec 21, 2023
1 parent 9881636 commit a3e733e
Show file tree
Hide file tree
Showing 6 changed files with 7 additions and 32 deletions.
11 changes: 6 additions & 5 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,16 +21,17 @@ jobs:
- name: Build docs
run: |
pip install -r requirements.txt
./scripts/travis_build_docs.sh
echo "GIT_BRANCH=$(echo $GITHUB_REF | cut -d '/' -f 3)" >> $GITHUB_ENV
./scripts/ci_build_docs.sh
- name: After success steps
if: ${{ success() }}
run: |
sha=$(git rev-parse --short ${{ github.sha }})
echo "COMMIT_SHORT_SHA=$sha" >> $GITHUB_ENV
touch ./build/html/.nojekyll
if [ "${{ github.event_name }}" = "push" ] && [ "${{ github.ref }}" = "refs/heads/main" ]; then
echo "publish website"
./scripts/travis_deploy_key.sh
./scripts/travis_deploy_website.sh build /tmp
if [ "${{ github.event_name }}" = "push" ] && [ "$GIT_BRANCH" = "main" ]; then
echo "publish website"
./scripts/ci_deploy_key.sh
./scripts/ci_deploy_website.sh build /tmp
fi
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ BUILD_LANGUAGES = $(TRANSLATIONS)
# Internal variables.
PAPEROPT_a4 = -D latex_paper_size=a4
PAPEROPT_letter = -D latex_paper_size=letter
ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees/$$lang $(SPHINXOPTS) -c . -A language=$$lang -D language=$$lang -A languages='$(LANGUAGES)' -A branch=$(TRAVIS_BRANCH)
ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees/$$lang $(SPHINXOPTS) -c . -A language=$$lang -D language=$$lang -A languages='$(LANGUAGES)' -A branch=$(GIT_BRANCH)

ALLSPHINXOPTSI18N = $(SPHINXOPTS) -c . -a -A language=$$lang -D language=$$lang -A languages='$(LANGUAGES)'

Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
26 changes: 0 additions & 26 deletions scripts/travis_update_pages.sh

This file was deleted.

0 comments on commit a3e733e

Please sign in to comment.