From 57a9874588b3733e5e0995a33e72561cba7d6fcd Mon Sep 17 00:00:00 2001 From: sterni Date: Thu, 5 Dec 2024 18:13:19 +0100 Subject: [PATCH] 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 Reviewed-by: tazjin Tested-by: BuildkiteCI --- nix/buildManPages/OWNERS | 1 - users/sterni/dot-time-man-pages/default.nix | 2 +- .../sterni/nix/build/manPages}/default.nix | 0 3 files changed, 1 insertion(+), 2 deletions(-) delete mode 100644 nix/buildManPages/OWNERS rename {nix/buildManPages => users/sterni/nix/build/manPages}/default.nix (100%) diff --git a/nix/buildManPages/OWNERS b/nix/buildManPages/OWNERS deleted file mode 100644 index 2e9580706..000000000 --- a/nix/buildManPages/OWNERS +++ /dev/null @@ -1 +0,0 @@ -sterni diff --git a/users/sterni/dot-time-man-pages/default.nix b/users/sterni/dot-time-man-pages/default.nix index c449cde61..269617420 100644 --- a/users/sterni/dot-time-man-pages/default.nix +++ b/users/sterni/dot-time-man-pages/default.nix @@ -65,6 +65,6 @@ let }; in -depot.nix.buildManPages "dot-time" { } [ +depot.users.sterni.nix.build.manPages "dot-time" { } [ dot-time ] diff --git a/nix/buildManPages/default.nix b/users/sterni/nix/build/manPages/default.nix similarity index 100% rename from nix/buildManPages/default.nix rename to users/sterni/nix/build/manPages/default.nix