diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2019-03-22 14:47:47 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2019-03-22 14:48:08 +0100 |
commit | 1ad3f34a999a3e12dc3b8d8c74c7925a661395bf (patch) | |
tree | f1ba50993b221f9529b83c0fe0774a8c922c1a3e /nixos/doc/manual/Makefile | |
parent | 4c3ec0e32522bd6891418ba4d0e561a9b14c4cde (diff) | |
download | nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.tar nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.tar.gz nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.tar.bz2 nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.tar.lz nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.tar.xz nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.tar.zst nixpkgs-1ad3f34a999a3e12dc3b8d8c74c7925a661395bf.zip |
nixos manual Makefile: improve purity
And be quiet when building/downloading the required tools.
Diffstat (limited to 'nixos/doc/manual/Makefile')
-rw-r--r-- | nixos/doc/manual/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/nixos/doc/manual/Makefile b/nixos/doc/manual/Makefile index b251a1f5e2c..9ff599a0090 100644 --- a/nixos/doc/manual/Makefile +++ b/nixos/doc/manual/Makefile @@ -6,13 +6,14 @@ debug: generated manual-combined.xml manual-combined.xml: generated *.xml **/*.xml rm -f ./manual-combined.xml - nix-shell --packages xmloscopy \ + nix-shell --pure -Q --packages xmloscopy \ --run "xmloscopy --docbook5 ./manual.xml ./manual-combined.xml" .PHONY: format format: - find ../../ -iname '*.xml' -type f -print0 | xargs -0 -I{} -n1 \ - xmlformat --config-file "../xmlformat.conf" -i {} + nix-shell --pure -Q --packages xmlformat \ + --run "find ../../ -iname '*.xml' -type f -print0 | xargs -0 -I{} -n1 \ + xmlformat --config-file '../xmlformat.conf' -i {}" .PHONY: fix-misc-xml fix-misc-xml: |