Language. #1473

	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 }}

Provide feedback