eclipse-bluechi / bluechi

Eclipse BlueChi is a systemd service controller intended for multi-node environments with a predefined number of nodes and with a focus on highly regulated ecosystems such as those requiring functional safety.
https://bluechi.readthedocs.io/en/latest/
GNU Lesser General Public License v2.1
130 stars 37 forks source link

Convert SELinux policy man pages to md and move to doc/man (#875) #877

Closed schastlivcev closed 4 months ago

schastlivcev commented 4 months ago

Description

Manual pages for the SELinux policy of BlueChi were located in the selinux directory and in roff format, so they need to be moved to doc/man directory as other man pages.

Fixes #875

Checklist

coveralls commented 4 months ago

Coverage Status

coverage: 84.57%. remained the same when pulling 287d5ce9896f31b08ad35857ecc46ca7c1bb551f on schastlivcev:fix/875-move-selinux-man-pages into d780bfed7645f98da6842d0f3391c5c909fc1486 on eclipse-bluechi:main.