aboutsummaryrefslogtreecommitdiff
path: root/src/nix
diff options
context:
space:
mode:
authorAlexander Bantyev <balsoft@balsoft.ru>2023-04-12 15:19:06 +0400
committerValentin Gagarin <valentin.gagarin@tweag.io>2023-04-26 15:38:19 +0200
commitaee5e82b42caf7bdcbf452946620aede05309f15 (patch)
tree3e9e3e4b347e8abe50ffe962c28fe9587b1608c6 /src/nix
parent8a93b5a55184d9d34effdd94d58429c9ad1a3d14 (diff)
Include user-profiles.md into nix profile --help
Diffstat (limited to 'src/nix')
-rw-r--r--src/nix/local.mk6
-rw-r--r--src/nix/profile.md5
2 files changed, 7 insertions, 4 deletions
diff --git a/src/nix/local.mk b/src/nix/local.mk
index 0f2f016ec..dce454db5 100644
--- a/src/nix/local.mk
+++ b/src/nix/local.mk
@@ -32,3 +32,9 @@ src/nix/develop.cc: src/nix/get-env.sh.gen.hh
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/doc/files/%.md: doc/manual/src/command-ref/files/%.md
+ mkdir -p $$(dirname $@)
+ ( printf 'R""(\n'; cat $^; printf '\n)""' ) > $@
diff --git a/src/nix/profile.md b/src/nix/profile.md
index ffce5ad65..1c4e92ee4 100644
--- a/src/nix/profile.md
+++ b/src/nix/profile.md
@@ -9,8 +9,5 @@ them to be rolled back easily.
# Files
-See [the "User Profiles" documentation page](@docroot@/command-ref/files/user-profiles.md).
-
-This page can be viewed offline with **`man 5 nix3-user-profiles`**.
-
)""
+#include "doc/files/user-profiles.md"