use scripts

This commit is contained in:
David Holdeman 2023-01-01 12:52:22 -06:00
parent 794ce784e4
commit c15166ddd3
1 changed files with 2 additions and 7 deletions

View File

@ -25,16 +25,11 @@ jobs:
run: |
sudo apt update
sudo apt install sshpass
pip install mkdocs mkdocs-ezlinks-plugin mkdocs-exclude
bash ./bin/mkdocs-install.sh
- name: Generate static pages using mkdocs
run: |
shopt -s extglob
cd mkdocs
mkdir docs
cp -r ../!(mkdocs) docs
cp style.css docs
mkdocs build
bash ./bin/mkdocs-run.sh
- name: Set SSH variables
env: