Skip to content

Replace http links with https #115

Replace http links with https

Replace http links with https #115

Workflow file for this run

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/index.html
uses: docker://pandoc/core:2.9
with:
args: >
--output=ide-extensions/index.html
--include-before-body=navigation.html
--css=../github-pandoc.css
--standalone
--title-prefix="Metafacture"
ide-extensions/index.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"