From dda44bc47f3e5d024508060dac2bcb59fd12e4c0 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Wed, 25 Mar 2020 14:24:49 +0100 Subject: [PATCH] doc: building Lean using Nix in WSL does work reasonably well --- doc/make/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make/index.md b/doc/make/index.md index 5bd5570d61..d9ec0b1e0e 100644 --- a/doc/make/index.md +++ b/doc/make/index.md @@ -12,7 +12,7 @@ Platform-Specific Setup - [Windows (msys2)](msys2.md) - [Windows (Visual Studio)](msvc.md) - [macOS (homebrew)](osx-10.9.md) -- Linux/macOS ([Nix](https://nixos.org/nix/)): Call `nix-shell` in the project root. That's it. +- Linux/macOS/WSL ([Nix](https://nixos.org/nix/)): Call `nix-shell` in the project root. That's it. Generic Build Instructions --------------------------