diff options
| author | John Ericson <git@JohnEricson.me> | 2023-09-06 08:43:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-06 08:43:16 -0400 |
| commit | d568877eab59a490694e0bc3edec99d13049552c (patch) | |
| tree | bc5c2c9dbf0a57eeda790bd5bc553adb46eb9c30 /doc | |
| parent | 880d9cabedf7ef1707dd64c44a0a76d61d0ca79a (diff) | |
Retitle section as Robert suggests
Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/src/SUMMARY.md.in | 2 | ||||
| -rw-r--r-- | doc/manual/src/protocols/derivation-aterm.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/src/SUMMARY.md.in b/doc/manual/src/SUMMARY.md.in index 3de053a17..701a6ea69 100644 --- a/doc/manual/src/SUMMARY.md.in +++ b/doc/manual/src/SUMMARY.md.in @@ -100,7 +100,7 @@ - [File System Object](architecture/file-system-object.md) - [Protocols](protocols/protocols.md) - [Serving Tarball Flakes](protocols/tarball-fetcher.md) - - [Derivation on-disk "ATerm" format](protocols/derivation-aterm.md) + - [Derivation "ATerm" file format](protocols/derivation-aterm.md) - [Glossary](glossary.md) - [Contributing](contributing/contributing.md) - [Hacking](contributing/hacking.md) diff --git a/doc/manual/src/protocols/derivation-aterm.md b/doc/manual/src/protocols/derivation-aterm.md index 2377e51ae..c9dc00ef7 100644 --- a/doc/manual/src/protocols/derivation-aterm.md +++ b/doc/manual/src/protocols/derivation-aterm.md @@ -1,4 +1,4 @@ -# Derivation on-disk "ATerm" format +# Derivation "ATerm" file format For historical reasons, [derivations](@docroot@/glossary.md#gloss-store-derivation) are stored on-disk in [ATerm](https://homepages.cwi.nl/~daybuild/daily-books/technology/aterm-guide/aterm-guide.html) format. |