Skip to content

Update the Reddit link #1

Update the Reddit link

Update the Reddit link #1

Workflow file for this run

name: Build Docs
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install Pandoc
run: |
wget https://github.com/jgm/pandoc/releases/download/2.17.1.1/pandoc-2.17.1.1-1-amd64.deb
sudo dpkg -i pandoc-2.17.1.1-1-amd64.deb
- name: Install NodeJS
run: |
sudo apt update
sudo apt install nodejs
npm install jsdom
- name: Build the docs
run: |
mkdir posts
make build
mkdir docs
mv index.html \
posts \
media \
giscus.html \
giscus-theme.css \
style.css \
script.js \
rss.xml \
header.html \
myself.png \
fonts \
docs
- name: Deploy the docs
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/