shithub: rgbds

Download patch

ref: 7e5d9683b1d769543604d34c2e5c6ce3663087aa
parent: 210a4a957aebd605d8f79e39d1e6e5079c8c5cc9
author: ISSOtm <eldredhabert0@gmail.com>
date: Tue Sep 15 15:24:25 EDT 2020

Use mandoc 1.14.5 in CI

This is the version that added -Otoc

--- a/.github/workflows/update-master-docs.yml
+++ b/.github/workflows/update-master-docs.yml
@@ -30,10 +30,16 @@
           repository: gbdev/rgbds-www
           ref: master
           path: rgbds-www
-      - name: Install mandoc
+      - name: Build and install mandoc
         run: |
           sudo apt-get -qq update
-          sudo apt-get install -yq mandoc
+          sudo apt-get install -yq zlib1g-dev
+          wget 'http://mandoc.bsd.lv/snapshots/mandoc-1.14.5.tar.gz'
+          tar xf mandoc-1.14.5.tar.gz
+          cd mandoc-1.14.5
+          ./configure
+          make
+          sudo make install
       - name: Update pages
         working-directory: rgbds
         run: |