aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
diff options
context:
space:
mode:
authorregnat <rg@regnat.ovh>2020-12-04 14:28:27 +0100
committerregnat <rg@regnat.ovh>2020-12-04 14:50:47 +0100
commit5f66edf24503fabf410bb923de761131cea57771 (patch)
treeef5efb1825a82bd04f0f8c7f7efb52f10d05d679 /doc/manual
parentd94239c9794b3467cbbde11ff8634e15111feaae (diff)
Make `make install` less noisy
Remove the printing and useless output of a couple of commands when running `make install`
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/local.mk6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index ee5b328de..81a7755e8 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -68,14 +68,14 @@ $(d)/src/expressions/builtins.md: $(d)/builtins.json $(d)/generate-builtins.nix
$(d)/builtins.json: $(bindir)/nix
$(trace-gen) $(dummy-env) NIX_PATH=nix/corepkgs=corepkgs $(bindir)/nix __dump-builtins > $@.tmp
- mv $@.tmp $@
+ @mv $@.tmp $@
# Generate the HTML manual.
install: $(docdir)/manual/index.html
# Generate 'nix' manpages.
install: $(d)/src/command-ref/new-cli
- for i in doc/manual/src/command-ref/new-cli/*.md; do \
+ $(trace-gen) for i in doc/manual/src/command-ref/new-cli/*.md; do \
name=$$(basename $$i .md); \
if [[ $$name = SUMMARY ]]; then continue; fi; \
printf "Title: %s\n\n" "$$name" > $$i.tmp; \
@@ -84,7 +84,7 @@ install: $(d)/src/command-ref/new-cli
done
$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/custom.css $(d)/src/SUMMARY.md $(d)/src/command-ref/new-cli $(d)/src/command-ref/conf-file.md $(d)/src/expressions/builtins.md
- $(trace-gen) mdbook build doc/manual -d $(docdir)/manual
+ $(trace-gen) RUST_LOG=warn mdbook build doc/manual -d $(docdir)/manual
@cp doc/manual/highlight.pack.js $(docdir)/manual/highlight.js
endif