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 | |
| 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')
| -rw-r--r-- | src/nix/local.mk | 2 | ||||
| -rw-r--r-- | src/nix/profile.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/nix/local.mk b/src/nix/local.mk index dce454db5..86d5c4775 100644 --- a/src/nix/local.mk +++ b/src/nix/local.mk @@ -33,7 +33,7 @@ src/nix-channel/nix-channel.cc: src/nix-channel/unpack-channel.nix.gen.hh src/nix/main.cc: doc/manual/generate-manpage.nix.gen.hh doc/manual/utils.nix.gen.hh -src/nix/profile.cc: src/nix/profile.md src/nix/doc/files/user-profiles.md +src/nix/profile.cc: src/nix/profile.md src/nix/doc/files/profiles.md src/nix/doc/files/%.md: doc/manual/src/command-ref/files/%.md mkdir -p $$(dirname $@) 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""( |