build-pkg-docs

This GitHub action runs compiles the manual of a GAP package.

Usage

The action build-pkg-docs has to be called by the workflow of a GAP package gap-package. By default it compiles the manual of a GAP package.

Its behaviour can be customized via the inputs below.

Inputs

All of the following inputs are optional.

• use-latex:
  • if true, then install and use latex
  • default: false

Examples

See below for

• a minimal example to run this action, and
• an example how to compile the manual into a pdf and upload it as an artifact

Minimal example

name: CI

# Trigger the workflow on push or pull request
on:
  push:
    branches:
      - master # change this to 'main' if necessary!
  pull_request:

jobs:
  # The documentation job
  manual:
    name: Build manuals
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v4
      - uses: gap-actions/setup-gap@v2
      - uses: gap-actions/build-pkg-docs@v1

Uploading the manual as an artifact

name: CI

# Trigger the workflow on push or pull request
on:
  push:
  pull_request:

jobs:
  # The documentation job
  manual:
    name: Build manuals
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@v4
      - uses: gap-actions/setup-gap-for-packages@v2
      - uses: gap-actions/build-pkg-docs@v1
        with:
          use-latex: 'true'
      - name: 'Upload documentation'
        uses: actions/upload-artifact@v1
        with:
          name: manual
          path: ./doc/manual.pdf

Contact

Please submit bug reports, suggestions for improvements and patches via the issue tracker.

License

The action build-pkg-docs is free software; you can redistribute and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your opinion) any later version. For details, see the file LICENSE distributed with this action or the FSF's own site.