github-actions[bot] 958ecd81a8 fix an old lost direct (#9718) ...

this part must have been moved quite a while ago, but apparently so far
no one noticed

(cherry picked from commit 6db805b3d1)

Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io>

2024-01-08 20:57:50 +01:00

..

rl-next

allowed-uris: Match whole schemes also when scheme is not followed by slashes

2023-12-13 21:09:20 +01:00

src

fix up release note

2023-12-04 16:56:46 +01:00

theme

doc/manual: don't need to copy highlight.js manually

2021-08-04 19:47:05 -07:00

_redirects

add path based redirects

2023-11-27 13:29:03 +00: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-builtin-constants.nix

revert anchor prefix for builtin constants

2023-07-20 10:27:38 +02:00

generate-builtins.nix

Automatically document builtin constants

2023-06-27 09:37:54 -04:00

generate-manpage.nix

Introduce MemoryInputAccessor and use it for corepkgs

2023-10-18 17:38:11 +02:00

generate-settings.nix

accommodate inconsistent output from lowdown

2023-10-05 01:20:26 +02:00

generate-store-info.nix

accommodate inconsistent output from lowdown

2023-10-05 01:20:26 +02:00

generate-xp-features-shortlist.nix

Single page for experimental feature descriptions

2023-04-09 11:01:23 -04:00

generate-xp-features.nix

Single page for experimental feature descriptions

2023-04-09 11:01:23 -04:00

local.mk

fix anchor in conf-file

2023-10-27 07:30:24 +02:00

quote-literals.xsl

Generate release notes again

2014-03-12 14:24:29 +01:00

redirects.js

fix an old lost direct (#9718)

2024-01-08 20:57:50 +01:00

utils.nix

always show anchors on setting listings

2023-10-05 00:05:08 +02:00