Add mandoc#1395

Open

TheRealKeto wants to merge 3 commits intoProcursusTeam:mainfrom

TheRealKeto:feat/mandoc

Commits on Jul 19, 2021

Add mandoc

CRKatri
and
TheRealKeto
committed

Commits on May 2, 2023

mandoc: Migrate to DOWNLOAD_FILES
TheRealKeto
committed

Commits on May 17, 2023

mandoc: Remove LDADD, use double quotes
TheRealKeto
committed