diff options
author | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-08-03 14:16:00 +0200 |
---|---|---|
committer | Théophane Hufschmitt <theophane.hufschmitt@tweag.io> | 2022-08-03 14:16:00 +0200 |
commit | c55bea420402fcf995688ef6a12cfa413bc5e35f (patch) | |
tree | 4f5b1d149e786586507d719aceb2894a6e90e532 /doc/manual | |
parent | ceed4d41426f6e2dc74473d5c137a8f061c49061 (diff) |
Fix the html id of the list headers
Diffstat (limited to 'doc/manual')
-rw-r--r-- | doc/manual/src/expressions/language-values.md | 10 |
1 files 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`. |