From 0e4f6dfcf7303bfe3c5d8af6863d57b3e70d370a Mon Sep 17 00:00:00 2001
From: Valentin Gagarin <valentin.gagarin@tweag.io>
Date: Thu, 20 Jul 2023 10:27:38 +0200
Subject: 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
---
 doc/manual/generate-builtin-constants.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'doc/manual/generate-builtin-constants.nix')

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>
 
-- 
cgit v1.2.3