max/nix-super
1
0
Fork 0
mirror of https://github.com/privatevoid-net/nix-super.git synced 2024-11-14 02:06:16 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Include user-profiles.md into nix profile --help

Browse source
This commit is contained in:
Alexander Bantyev 2023-04-12 15:19:06 +04:00 committed by Valentin Gagarin
parent 8a93b5a551
commit aee5e82b42
2 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/nix/local.mk
View file

@ -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-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/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)""' ) > $@

5
src/nix/profile.md
View file

@ -9,8 +9,5 @@ them to be rolled back easily.
# Files # 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"