doc: fix installation instructions for Windows

leanprover / elan

The Lean version manager

Apache License 2.0

292 stars 34 forks source link

Closed chabulhwi closed 7 months ago

chabulhwi commented 7 months ago

The PowerShell script should be named elan-init.ps1, not --location.

Kha commented 7 months ago

I'm sorry, did you actually test this? At least according to its Linux manpage, -O does not take an argument