From 0af84b132ca480ea13851034aea6a79969946174 Mon Sep 17 00:00:00 2001 From: Doug Freed Date: Sat, 12 Dec 2020 03:39:26 -0500 Subject: [PATCH] Oper-guide workflow for Github Actions --- .github/workflows/docs.yaml | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 .github/workflows/docs.yaml diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml new file mode 100644 index 00000000..b51a68ff --- /dev/null +++ b/.github/workflows/docs.yaml @@ -0,0 +1,29 @@ +name: Oper Guide + +on: + push: + branches: + - main + paths: + - 'doc/oper-guide/**' + pull_request: + branches: + - main + paths: + - 'doc/oper-guide/**' + +jobs: + build: + runs-on: ubuntu-18.04 + + steps: + - name: Install dependencies + run: | + apt-get update + apt-get install -y --no-install-recommends \ + python-sphinx \ + texinfo \ + # EOF + - uses: actions/checkout@v2 + - name: Build + run: make -C doc/oper-guide html man info