diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-04-27 11:56:52 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-04-28 12:10:36 +0200 |
| commit | f8620758aad1e3b61bc2d10a913bfd07c6d21df6 (patch) | |
| tree | 81709f1b70c7c802338fafdf34282f16035f4a03 /src/nix/profile.md | |
| parent | da0dbf36cbf5aebe559af08d3b9a83b880af1673 (diff) | |
display documentation on manifest files separately
it's probably better not to show the manifest file documentation in the
command-specific pages, because these are implementation details that are not really practically useful.
this means no additional hassle for building the manual, but clutters
the table of contents a bit.
Diffstat (limited to 'src/nix/profile.md')
| -rw-r--r-- | src/nix/profile.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/nix/profile.md b/src/nix/profile.md index ddbb1ba36..c6a266c24 100644 --- a/src/nix/profile.md +++ b/src/nix/profile.md @@ -11,7 +11,7 @@ them to be rolled back easily. )"" -#include "doc/files/user-profiles.md" +#include "doc/files/profiles.md" R""( |