From 3140f921dd93aa5a11442c5cd5db52fae1aa523f Mon Sep 17 00:00:00 2001 From: Dudemanguy Date: Sat, 23 Sep 2023 23:52:04 -0500 Subject: [PATCH] github/workflows: add a workflow to check doc changes Should hopefully avoid any accidents with stray characters and other things. Only needs to run if something within DOCS changes. --- .github/workflows/docs.yml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 .github/workflows/docs.yml diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000000..c21f7c9ac1 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,24 @@ +name: docs + +on: + push: + branches: + - master + - ci + - 'release/**' + paths: + - 'DOCS/**' + pull_request: + branches: [master] + paths: + - 'DOCS/**' + +jobs: + commit-msg: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v3 + - name: docs + run: | + sudo apt-get install python3-docutils + rst2man --strip-elements-with-class=contents --halt=2 ./DOCS/man/mpv.rst mpv.1