Small tweaks for integrating into project's documentation (docs repository)
The sphinx documentation trees provided by ip-policy
repository are to be integrated as part of the project's documentation - docs
repository. This tweaks things a bit to have a clean aggregated build.