[Docs] Suggest adding Install Mojo in https://docs.modular.com/magic/

[yichi170]

Where is the problem?

https://docs.modular.com/magic/

What can we do better?

Not sure whether it is necessary or not, but it may be better to guide users to download Mojo at https://docs.modular.com/magic/ before creating a Mojo project. If following the Magic docs before Mojo docs, may miss installing Mojo before creating a Mojo project with Magic CLI.

Anything else?

No response

[scottamain]

Thanks for this feedback @yichi170. I can see how this might be confusing, but you actually cannot install Mojo without a Magic or other conda project. As it says in step one, "By default, mojoproject.toml includes max as a dependency because max is the package that installs Mojo." That means Mojo is installed automatically (with the max conda package), which is what makes it possible for you to run mojo --version in the second step.

Does that help clear things up, or am I misunderstanding your request?