From 7e5d9683b1d769543604d34c2e5c6ce3663087aa Mon Sep 17 00:00:00 2001
From: ISSOtm <eldredhabert0@gmail.com>
Date: Tue, 15 Sep 2020 19:24:25 +0200
Subject: [PATCH] Use mandoc 1.14.5 in CI

This is the version that added -Otoc
---
 .github/workflows/update-master-docs.yml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/update-master-docs.yml b/.github/workflows/update-master-docs.yml
index f526f13e..22eba342 100644
--- a/.github/workflows/update-master-docs.yml
+++ b/.github/workflows/update-master-docs.yml
@@ -30,10 +30,16 @@ jobs:
           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: |