From aee5e82b42caf7bdcbf452946620aede05309f15 Mon Sep 17 00:00:00 2001 From: Alexander Bantyev Date: Wed, 12 Apr 2023 15:19:06 +0400 Subject: [PATCH] Include user-profiles.md into nix profile --help --- src/nix/local.mk | 6 ++++++ src/nix/profile.md | 5 +---- 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"