Fix building without the NixOS/NixOps manual pages