fix: 0.2.14 return after pthread_exit() for MINGW32_BUILD (#63) #34

	name: Use "make doc" to compile ./documentation/docs.pdf
	on:
	push:
	branches: [master]
	pull_request:
	branches: [master]
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# Allow one concurrent deployment
	concurrency:
	group: ${{ github.ref }}
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest

	name: Generate ./documentation/docs.pdf
	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 1

	- name: Run sudo apt update
	run: sudo apt update -y

	- name: Install doxygen
	run: sudo apt install doxygen -y

	- name: Install doxygen-latex
	run: \|
	sudo apt install doxygen-latex -y

	- name: Run aclocal
	run: aclocal
	- name: Run autoconf
	run: autoconf
	- name: Run automake --add-missing
	run: automake --add-missing
	- name: Run ./configure
	run: ./configure
	- name: Run make doc
	run: make doc

Provide feedback