Skip to content

Build web-pages (Ubuntu-latest) #3

Build web-pages (Ubuntu-latest)

Build web-pages (Ubuntu-latest) #3

name: Build web-pages (Ubuntu-latest)
on:
workflow_dispatch:
branches: [ main ]
# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
permissions:
contents: read
pages: write
id-token: write
jobs:
build:
runs-on: ubuntu-latest
name: Build on ${{ matrix.distro }} ${{ matrix.arch }}
steps:
- name: Checkout code
uses: actions/checkout@v4
- name: Compile nroff tools
run: |
mkdir downloads
mkdir packages
cd ./nroff
make
- name: Generate docs
run: |
export PATH=`pwd`/nroff/bin/linux:$PATH
cd ./microemacs/doc
make web_pages/me/index.html
- name: Upload web-pages as artifact
uses: actions/upload-pages-artifact@v3
with:
path: microemacs/doc/web_pages/me/
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4