From c55bea420402fcf995688ef6a12cfa413bc5e35f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophane=20Hufschmitt?=
 <theophane.hufschmitt@tweag.io>
Date: Wed, 3 Aug 2022 14:16:00 +0200
Subject: [PATCH] Fix the html id of the list headers

---
 doc/manual/src/expressions/language-values.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/manual/src/expressions/language-values.md b/doc/manual/src/expressions/language-values.md
index a53b2cb22..f09400d02 100644
--- a/doc/manual/src/expressions/language-values.md
+++ b/doc/manual/src/expressions/language-values.md
@@ -2,7 +2,7 @@
 
 ## Primitives
 
-- <a id="#type-string" href="#type-string">String</a>
+- <a id="type-string" href="#type-string">String</a>
 
   *Strings* can be written in three ways.
 
@@ -112,7 +112,7 @@
   `"http://example.org/foo.tar.bz2"` can also be written as
   `http://example.org/foo.tar.bz2`.
 
-- <a id="#type-number" href="#type-number">Number</a>
+- <a id="type-number" href="#type-number">Number</a>
 
   Numbers, which can be *integers* (like `123`) or *floating point*
   (like `123.43` or `.27e13`).
@@ -121,7 +121,7 @@
   return integers, whereas any operation involving at least one
   floating point number will have a floating point number as a result.
 
-- <a id="#type-path" href="#type-path">Path</a>
+- <a id="type-path" href="#type-path">Path</a>
 
   *Paths*, e.g., `/bin/sh` or `./builder.sh`. A path must contain at
   least one slash to be recognised as such. For instance, `builder.sh`
@@ -150,11 +150,11 @@
   recognized as a path. `a.${foo}/b.${bar}` is a syntactically valid division
   operation. `./a.${foo}/b.${bar}` is a path.
 
-- <a id="#type-boolean" href="#type-boolean">Boolean</a>
+- <a id="type-boolean" href="#type-boolean">Boolean</a>
 
   *Booleans* with values `true` and `false`.
 
-- <a id="#type-null" href="#type-null">Null</a>
+- <a id="type-null" href="#type-null">Null</a>
 
   The null value, denoted as `null`.