doc.yml

name: Doc

on:
  pull_request:
  push:
    paths:
      - '.github/workflows/doc.yml'
      - 'doc/**'
  schedule:
    - cron: '0 0 * * 4'
  workflow_dispatch:
  repository_dispatch:
    types: [ doc ]

jobs:

  asciidoc:
    runs-on: ubuntu-latest
    steps:

    - uses: actions/checkout@v2

    - name: Build site
      uses: docker://asciidoctor/docker-asciidoctor
      with:
        args: doc/make.sh

    - name: Publish site to gh-pages (doc)
      if: github.event_name != 'pull_request'
      run: |
        mkdir pages
        cd pages
        git init
        cp ../.git/config ./.git/config
        touch .nojekyll
        mv ../doc/index.html ./
        mkdir img
        cp ../doc/img/icon.png ./img
        git add .
        git config --local user.email "push@gha"
        git config --local user.name "GHA"
        git commit -am "update ${{ github.sha }}"
        git push -u origin +HEAD:gh-pages