gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-20 10:12:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use mandoc 1.14.5 in CI

Browse Source 
This is the version that added -Otoc
This commit is contained in:
ISSOtm
2020-09-15 19:24:25 +02:00
parent 210a4a957a
commit 7e5d9683b1
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/update-master-docs.yml vendored
View File

@@ -30,10 +30,16 @@ jobs:
repository: gbdev/rgbds-www repository: gbdev/rgbds-www
ref: master ref: master
path: rgbds-www path: rgbds-www
- name: Install mandoc - name: Build and install mandoc
run: | run: |
sudo apt-get -qq update 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 - name: Update pages
working-directory: rgbds working-directory: rgbds
run: | run: |