diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-09-09 15:01:19 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2021-09-09 15:01:19 +0200 |
commit | ff03fb6743bdacc8492fd2a20a49729a250abe7d (patch) | |
tree | c56aac142b1ace7b801fe0bdde7300fdf25b2657 /doc/manual/local.mk | |
parent | 1e43bc6dc0a88be0ea6057bdebf281d25ffd962d (diff) |
Manual: Depend on all *.md files
Diffstat (limited to 'doc/manual/local.mk')
-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 ca9af9c4a..930afa44f 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -94,7 +94,7 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli done 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 +$(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 endif |