diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-09-22 14:12:31 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2021-09-22 14:12:31 +0200 |
| commit | 8fdb1d057ac72d07b9e8c6e522d4d7f0a8bdf352 (patch) | |
| tree | 7a63da626e5fc006a1e3af153d0aec1943bd4c91 | |
| parent | ff28fffce26bba37685f7e230d1285e7d034f748 (diff) | |
Quiet
| -rw-r--r-- | doc/manual/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 5e61b2671..a8c52f841 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -92,7 +92,7 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli lowdown -sT man -M section=1 $$tmpFile -o $(DESTDIR)$$(dirname $@)/$$name.1; \ rm $$tmpFile; \ done - touch $@ + @touch $@ $(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 $(call rwildcard, $(d)/src, *.md) $(trace-gen) RUST_LOG=warn mdbook build doc/manual -d $(DESTDIR)$(docdir)/manual |