Skip to content

Update versions of github actions (#18) #25

Update versions of github actions (#18)

Update versions of github actions (#18) #25

Workflow file for this run

# Automatic generation of documentation will be copied and checked into the
# gh-pages branch.
name: Documentation generation CI
on:
push:
branches:
- 'master'
jobs:
build:
name: Generate documentation
runs-on: ubuntu-latest
steps:
# checkout branch
- uses: actions/checkout@v4
# Install dblatex
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install -y dblatex dbtoepub xsltproc
# generate the documentation files
- name: Generate documentation
run: |
cd docs
dblatex -s texstyle.sty -T native -t pdf -o mobilitydb-berlinmod.pdf mobilitydb-berlinmod.xml
dbtoepub -o mobilitydb-berlinmod.epub mobilitydb-berlinmod.xml
mkdir html
xsltproc --stringparam html.stylesheet "docbook.css" --stringparam chunker.output.encoding "UTF-8" --xinclude -o html/index.html /usr/share/xml/docbook/stylesheet/docbook-xsl/html/chunk.xsl mobilitydb-berlinmod.xml
cp -r images docbook.css html/
cp docbook.css html/
# store the documentation files
- name: Upload output directory
uses: actions/upload-artifact@v4
with:
name: doc-files
path: docs
retention-days: 1
copy:
name: Deploy documentation
runs-on: ubuntu-latest
needs: build
steps:
# checkout the gh-pages branch
- uses: actions/checkout@v4
with:
ref: gh-pages
# download the doc files, most of which are generated above
- name: Download output directory
uses: actions/download-artifact@v4
with:
name: doc-files
path: docs
# add, commit and push to gh-pages
- name: Commit changes
uses: EndBug/add-and-commit@v7
with:
message: 'Update docs'
branch: gh-pages
add: '["docs/index.md",
"docs/mobilitydb-berlinmod.pdf",
"docs/mobilitydb-berlinmod.epub",
"docs/html/docbook.css", "docs/html/images/*",
"docs/html/*.html"]'