Skip to content

improve wording

improve wording #1432

Workflow file for this run

name: Refresh notes
on:
push:
branches:
- master
paths:
- modules/**
- input/**
- .github/workflows/pages.yml
- dev/*
- docs/*
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout master branch
uses: actions/checkout@v4
with:
path: master
- name: Checkout gh-pages branch
uses: actions/checkout@v4
with:
path: gh-pages
ref: gh-pages
- name: Checkout notes branch
uses: actions/checkout@v4
with:
path: notes
ref: notes
- name: Setup Node
uses: actions/setup-node@v4
with:
node-version: 10
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.x'
- name: Install markdown-include
run: npm install markdown-include
- name: Install grip
run: pip install grip
- name: Git identity setup
run: ./master/dev/gitconfig.sh
- name: Expand MarkDown files
run: ./master/dev/expand.sh
- name: Push Markdown files
run: ./master/dev/push_md.sh
- name: Generate and push HTML files
run: ./master/dev/html.sh
env:
GRIP_PASSWORD: ${{ secrets.GRIP_PASSWORD }}