John Ericson 8df6f7bb0f Fix more profile dirs in docs ... Picking up where #8078 left off.		2023-03-27 12:10:32 -04:00
..
src	Fix more profile dirs in docs	2023-03-27 12:10:32 -04:00
theme	doc/manual: don't need to copy highlight.js manually	2021-08-04 19:47:05 -07:00
anchors.jq	doc: Port anchors preprocessor to jq script	2022-05-26 18:17:21 +02:00
book.toml	manual: Check links	2023-01-10 22:30:41 +01:00
custom.css	disallow selecting shell prompt in code samples	2022-12-05 11:01:46 +01:00
generate-builtins.nix	refactor rendering documentation of builtins	2022-11-24 14:15:43 +01:00
generate-manpage.nix	Make useAnchors a named argument	2023-03-23 10:08:49 +01:00
local.mk	Make useAnchors a named argument	2023-03-23 10:08:49 +01:00
quote-literals.xsl	Generate release notes again	2014-03-12 14:24:29 +01:00
redirects.js	Remove repeat and enforce-determinism options	2022-12-07 11:36:48 +01:00
utils.nix	showSetting: Drop ...	2023-03-23 10:09:25 +01:00