Added GitHub CI/CD workflow to generate and release man pages - #1365
Open
alberti42 wants to merge 1 commit into
Open
Added GitHub CI/CD workflow to generate and release man pages#1365alberti42 wants to merge 1 commit into
alberti42 wants to merge 1 commit into