tools/nix: move nix flakes to tools/

This commit moves the flake.lock and flake.nix files from root and
Documentation/ to the tools/ directory, according to @anchao's
suggestion in PR #16763.
Updates documentation to reflect this change.

Signed-off-by: Côme VINCENT <44554692+comejv@users.noreply.github.com>

Documentation/guides/nix_flake.rst

@@ -22,7 +22,7 @@ the NuttX directory and run:
 
 .. code-block:: bash
 
-    nix develop
+    nix develop ./tools/nix
 
 This command will:
 
@@ -50,7 +50,7 @@ To enter the documentation shell, run:
 
 .. code-block:: bash
 
-    nix develop .#docs
+    nix develop ./tools/nix#docs
 
 This command will:
 
@@ -74,7 +74,7 @@ Example usage:
 
 .. code-block:: bash
 
-    # Build HTML docs
+    # Build HTML docs (has to but run in Documentation/ directory)
     make html
 
 See the :doc:`/contributing/documentation` guide for more details.

tools/nix/doc/flake.nix

@@ -72,6 +72,9 @@
     {
       devShells.${system}.default = pkgs.mkShell {
         buildInputs = [ nuttx-doc-py-env ];
+        shellHook = ''
+          echo "Welcome to NuttX documentation devShell"
+        '';
       };
     };
 }

tools/nix/flake.lock

@@ -5,11 +5,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "path": "./Documentation",
+        "path": "./doc/",
         "type": "path"
       },
       "original": {
-        "path": "./Documentation",
+        "path": "./doc/",
         "type": "path"
       },
       "parent": []

tools/nix/flake.nix

@@ -4,7 +4,7 @@
   inputs = {
     nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
     flake-utils.url = "github:numtide/flake-utils";
-    documentation.url = "path:./Documentation";
+    documentation.url = "path:./doc/";
   };
 
   outputs =