diff options
author | pennae <github@quasiparticle.net> | 2023-06-10 17:54:02 +0200 |
---|---|---|
committer | pennae <github@quasiparticle.net> | 2023-06-10 18:17:04 +0200 |
commit | e42a5c78e75aba56b546cbcb8efdf46587fea276 (patch) | |
tree | 6e16df089ad38c4733f09a4fac05f5b71d7d99af /doc/hooks/ninja.section.md | |
parent | 830f5b33ddfbfa8d8864a6724fcac87f893ec88a (diff) |
doc: make sure section depths are consecutive
skipping heading levels (eg from # to ###, or starting at ###) is legal in pandoc, but not in nixos-render-docs. pandoc acts as though section levels *were* consecutive, nixos-render-docs prefers to tell people not to do that kind of thing because it can make documents more fragile.
Diffstat (limited to 'doc/hooks/ninja.section.md')
-rw-r--r-- | doc/hooks/ninja.section.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/hooks/ninja.section.md b/doc/hooks/ninja.section.md index 5ea1ee87070ad..4b0e33feb5c39 100644 --- a/doc/hooks/ninja.section.md +++ b/doc/hooks/ninja.section.md @@ -1,4 +1,3 @@ - -### ninja {#ninja} +# ninja {#ninja} Overrides the build, install, and check phase to run ninja instead of make. You can disable this behavior with the `dontUseNinjaBuild`, `dontUseNinjaInstall`, and `dontUseNinjaCheck`, respectively. Parallel building is enabled by default in Ninja. |