chore(nix): move buildManPages to //users/sterni
It's only used in my user directory and I don't feel it's generally useful. There's so little to interpolate you may as well just check them in. Change-Id: I31dc9917c2b281c7d68388e1a32c8ef5179621df Reviewed-on: https://cl.tvl.fyi/c/depot/+/12873 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
This commit is contained in:
parent
d47c7fa12b
commit
57a9874588
3 changed files with 1 additions and 2 deletions
|
@ -1 +0,0 @@
|
|||
sterni
|
|
@ -65,6 +65,6 @@ let
|
|||
};
|
||||
|
||||
in
|
||||
depot.nix.buildManPages "dot-time" { } [
|
||||
depot.users.sterni.nix.build.manPages "dot-time" { } [
|
||||
dot-time
|
||||
]
|
||||
|
|
Loading…
Reference in a new issue