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