picnoir/Nix
1
0
Fork 0
Code Issues Pull requests 1 Releases Wiki Activity

Merge pull request #5094 from Pamplemousse/simpler_doc

Browse source 
doc/manual: don't need to copy `highlight.js` manually
This commit is contained in:
Eelco Dolstra 2021-08-05 15:13:07 +02:00 committed by GitHub
parent 47e96bb533 de39cfb9f3
commit d64f9671fc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
doc/manual/local.mk
View file

@ -96,6 +96,5 @@ doc/manual/generated/man1/nix3-manpages: $(d)/src/command-ref/new-cli
$(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) RUST_LOG=warn mdbook build doc/manual -d $(docdir)/manual
@cp doc/manual/highlight.pack.js $(docdir)/manual/highlight.js
endif

0
doc/manual/highlight.pack.js → doc/manual/theme/highlight.js
View file