generate_html.yml

name: Build html files

on: push

jobs:
  generate_html:
    runs-on: ubuntu-latest
    steps:
      - name: Get repo
        uses: actions/checkout@v2
      - name: Generate index.html
        uses: docker://pandoc/core:2.9
        with:
          args: >
            --output=index.html
            --include-before-body=navigation.html
            --css=github-pandoc.css
            --standalone
            --title-prefix="Metafacture"
            index.md
      - name: Generate installation.html
        uses: docker://pandoc/core:2.9
        with:
          args: >
            --output=getting-started.html
            --include-before-body=navigation.html
            --css=github-pandoc.css
            --standalone
            --title-prefix="Metafacture"
            getting-started.md
      - name: Generate ide-extensions.html
        uses: docker://pandoc/core:2.9
        with:
          args: >
            --output=ide-extensions.html
            --include-before-body=navigation.html
            --css=../github-pandoc.css
            --standalone
            --title-prefix="Metafacture"
            ide-extensions.md
      - name: Commit html files
        uses: EndBug/add-and-commit@v5
        with:
          message: "Add newly generated html files by GitHub Actions."
          add: "index.html getting-started.html ide-extensions/index.html --force"