diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2022-05-25 18:51:04 +0200 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2022-05-26 17:54:15 +0200 |
| commit | 4de84e095d0f1fa7f3b5db8904496ffd2752d73e (patch) | |
| tree | 5245954b01656292240dffce12e84b8e0e4c3650 /doc/manual/local.mk | |
| parent | 4f98bc29ffe5d7007eb919ae4dbbe0adc4a07745 (diff) | |
doc: Introduce pre-processor for adding anchors to text
It is now possible to use the following syntax to insert anchors into the text:
[]{#anchor-name}
The anchor will allow linking to the location it is placed by appending #anchor-name to the URL.
Additionally, it is possible to create a link pointing to its own location by adding text between the square brackets:
[`--add-root`]{#opt-add-root}
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 c1ce8aaeb..910d0a03b 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -97,7 +97,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 $(call rwildcard, $(d)/src, *.md) +$(docdir)/manual/index.html: $(MANUAL_SRCS) $(d)/book.toml $(d)/anchors.py $(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 |