Simplify build instructions by providing a Makefile

This creates a gitignore file to deal with generated files. The Makefile
replaces the manual instructions and makes sure CI and user instructions
are in sync. It even allows for parallel builds, even though the
building is already super fast.

.github/workflows/tests.yml

@@ -17,6 +17,4 @@ jobs:
         run: yum install -y selinux-policy-devel policycoreutils
       - name: Build policies
         run: |
-          make -f /usr/share/selinux/devel/Makefile pulpcore_port.pp
-          make -f /usr/share/selinux/devel/Makefile pulpcore.pp
-          make -f /usr/share/selinux/devel/Makefile pulpcore_rhsmcertd.pp
+          make

.gitignore

@@ -0,0 +1,5 @@
+*.pp
+pulpcore_port.fc
+pulpcore_port.if
+pulpcore_rhsmcertd.fc
+pulpcore_rhsmcertd.if

Makefile

@@ -0,0 +1,3 @@
+include /usr/share/selinux/devel/Makefile
+
+all: pulpcore_port.pp pulpcore.pp pulpcore_rhsmcertd.pp

staging_docs/admin/index.md

@@ -10,10 +10,7 @@ The SELinux policy for Pulp 3.Y releases.
 sudo yum install -y selinux-policy-devel policycoreutils
 git clone https://github.com/pulp/pulpcore-selinux
 cd pulpcore-selinux
-
-make -f /usr/share/selinux/devel/Makefile pulpcore_port.pp
-make -f /usr/share/selinux/devel/Makefile pulpcore.pp
-make -f /usr/share/selinux/devel/Makefile pulpcore_rhsmcertd.pp
+make
 ```
 
 ### Installing