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