diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/gh-pages.yml | 18 |
1 files changed, 4 insertions, 14 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 2472bba..d812477 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -1,37 +1,27 @@ -# This is a basic workflow to help you get started with Actions +name: Documentation -name: Admitted Icon - -# Controls when the action will run. Triggers the workflow on push or pull request -# events but only for the master branch on: push: branches: [ master ] pull_request: branches: [ master ] -# A workflow run is made up of one or more jobs that can run sequentially or in parallel jobs: - # This workflow contains a single job called "build" build: - # The type of runner that the job will run on runs-on: ubuntu-latest - # Steps represent a sequence of tasks that will be executed as part of the job steps: - # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it - uses: actions/checkout@v2 - # Runs a single command using the runners shell - - name: Generate Admitted icon - run: python3 scripts/statistics.py src && mkdir -p docs/assets && mv admitted.svg docs/assets/. - - name: Install emacs run: sudo apt-get install emacs - name: Generate documentation run: cd docs && emacs --batch --no-init --load publish.el --funcall org-publish-all + - name: Generate Admitted icon + run: python3 scripts/statistics.py src && mkdir -p docs/html/assets && mv admitted.svg docs/html/assets/. + - name: Deploy gh-pages uses: peaceiris/actions-gh-pages@v3 with: |