Skip to content

set low priority for man-pages package#41121

Merged
matthewbauer merged 1 commit intoNixOS:masterfrom
jerith666:man-page-prio
May 28, 2018
Merged

set low priority for man-pages package#41121
matthewbauer merged 1 commit intoNixOS:masterfrom
jerith666:man-page-prio

Conversation

@jerith666
Copy link
Contributor

if a package comes with its own man page, prefer it

Things done
  • Tested using sandboxing (nix.useSandbox on NixOS, or option build-use-sandbox in nix.conf on non-NixOS)
  • Built on platform(s)
    • NixOS
    • macOS
    • other Linux distributions
  • Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
  • Tested compilation of all pkgs that depend on this change using nix-shell -p nox --run "nox-review wip"
  • Tested execution of all binary files (usually in ./result/bin/)
  • Fits CONTRIBUTING.md.

if a package comes with its own man page, prefer it
@GrahamcOfBorg GrahamcOfBorg added 8.has: documentation This PR adds or changes documentation 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux. labels May 27, 2018
@matthewbauer matthewbauer merged commit bf3e3f7 into NixOS:master May 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

8.has: documentation This PR adds or changes documentation 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 0 This PR does not cause any packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants