diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-07-20 10:27:38 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-07-20 10:27:38 +0200 |
| commit | 0e4f6dfcf7303bfe3c5d8af6863d57b3e70d370a (patch) | |
| tree | 5288f1914634b9ee165d1ee728474151e7bc7fe9 /doc/manual | |
| parent | 453c4be93cb10b417a7140d9f8b7185f9785b7a6 (diff) | |
revert anchor prefix for builtin constants
the original change broke many pre-existing anchor links.
also change formatting of the constants listing slightly:
- the type should not be part of the anchor
- add highlight to the "impure only" note
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/generate-builtin-constants.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/manual/generate-builtin-constants.nix b/doc/manual/generate-builtin-constants.nix index 3fc1fae42..8af80a02c 100644 --- a/doc/manual/generate-builtin-constants.nix +++ b/doc/manual/generate-builtin-constants.nix @@ -10,12 +10,14 @@ let type' = optionalString (type != null) " (${type})"; impureNotice = optionalString impure-only '' - Not available in [pure evaluation mode](@docroot@/command-ref/conf-file.md#conf-pure-eval). + > **Note** + > + > Not available in [pure evaluation mode](@docroot@/command-ref/conf-file.md#conf-pure-eval). ''; in squash '' - <dt id="builtin-constants-${name}"> - <a href="#builtin-constants-${name}"><code>${name}</code>${type'}</a> + <dt id="builtins-${name}"> + <a href="#builtins-${name}"><code>${name}</code></a>${type'} </dt> <dd> |