about summary refs log tree commit diff
path: root/tvix
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2024-06-26T08·06+0300
committerflokli <flokli@flokli.de>2024-06-26T14·22+0000
commit888028b67497c75146b18239b97669e84a6b5315 (patch)
tree54164c81004aa8c4c6fe57908633cc9d2a27e1f2 /tvix
parent50150fa3c8518d5b55dc6ccdeb365fb5f1e34ae0 (diff)
docs(tvix): use `#` for toplevel headings r/8312
See discussion in cl/11869. Let's use `#` consistently, we also use `##`
for deeper nested subheadings.

Change-Id: Ie25ebda708639fb617d456c275ae5a264fc4ce85
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11881
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Reviewed-by: flokli <flokli@flokli.de>
Reviewed-by: toastal <toastal@posteo.net>
Diffstat (limited to 'tvix')
-rw-r--r--tvix/docs/src/eval/bindings.md3
-rw-r--r--tvix/docs/src/eval/build-references.md3
-rw-r--r--tvix/docs/src/eval/builtins.md3
-rw-r--r--tvix/docs/src/eval/known-optimisation-potential.md3
-rw-r--r--tvix/docs/src/eval/recursive-attrs.md3
-rw-r--r--tvix/docs/src/eval/vm-loop.md3
-rw-r--r--tvix/docs/src/store/api.md3
7 files changed, 7 insertions, 14 deletions
diff --git a/tvix/docs/src/eval/bindings.md b/tvix/docs/src/eval/bindings.md
index e1c214e49f22..4fb35b623580 100644
--- a/tvix/docs/src/eval/bindings.md
+++ b/tvix/docs/src/eval/bindings.md
@@ -1,5 +1,4 @@
-Compilation of bindings
-=======================
+# Compilation of bindings
 
 Compilation of Nix bindings is one of the most mind-bending parts of Nix
 evaluation. The implementation of just the compilation is currently almost 1000
diff --git a/tvix/docs/src/eval/build-references.md b/tvix/docs/src/eval/build-references.md
index cfa569c04a2c..dd53f65d83aa 100644
--- a/tvix/docs/src/eval/build-references.md
+++ b/tvix/docs/src/eval/build-references.md
@@ -1,5 +1,4 @@
-Build references in derivations
-===============================
+# Build references in derivations
 
 This document describes how build references are calculated in Tvix. Build
 references are used to determine which store paths should be available to a
diff --git a/tvix/docs/src/eval/builtins.md b/tvix/docs/src/eval/builtins.md
index dba4c48c65e1..d9fcd72ccab5 100644
--- a/tvix/docs/src/eval/builtins.md
+++ b/tvix/docs/src/eval/builtins.md
@@ -1,5 +1,4 @@
-Nix builtins
-============
+# Nix builtins
 
 Nix has a lot of built-in functions, some of which are accessible in
 the global scope, and some of which are only accessible through the
diff --git a/tvix/docs/src/eval/known-optimisation-potential.md b/tvix/docs/src/eval/known-optimisation-potential.md
index 0ab185fe1be2..11babcb59ac1 100644
--- a/tvix/docs/src/eval/known-optimisation-potential.md
+++ b/tvix/docs/src/eval/known-optimisation-potential.md
@@ -1,5 +1,4 @@
-Known Optimisation Potential
-============================
+# Known Optimisation Potential
 
 There are several areas of the Tvix evaluator code base where
 potentially large performance gains can be achieved through
diff --git a/tvix/docs/src/eval/recursive-attrs.md b/tvix/docs/src/eval/recursive-attrs.md
index c30cfd33e6c7..5ce1cb2b64ff 100644
--- a/tvix/docs/src/eval/recursive-attrs.md
+++ b/tvix/docs/src/eval/recursive-attrs.md
@@ -1,5 +1,4 @@
-Recursive attribute sets
-========================
+# Recursive attribute sets
 
 The construction behaviour of recursive attribute sets is very
 specific, and a bit peculiar.
diff --git a/tvix/docs/src/eval/vm-loop.md b/tvix/docs/src/eval/vm-loop.md
index 6266d34709cb..a75c7eec31df 100644
--- a/tvix/docs/src/eval/vm-loop.md
+++ b/tvix/docs/src/eval/vm-loop.md
@@ -1,5 +1,4 @@
-tvix-eval VM loop
-=================
+# tvix-eval VM loop
 
 This document describes the new tvix-eval VM execution loop implemented in the
 chain focusing around cl/8104.
diff --git a/tvix/docs/src/store/api.md b/tvix/docs/src/store/api.md
index 21c23ab6ad17..b20ec0e8bf5f 100644
--- a/tvix/docs/src/store/api.md
+++ b/tvix/docs/src/store/api.md
@@ -1,5 +1,4 @@
-tvix-[ca]store API
-==============
+# tvix-[ca]store API
 
 This document outlines the design of the API exposed by tvix-castore and tvix-
 store, as well as other implementations of this store protocol.