Fix use of the `move` command in the Windows shell

`move` work both in `cmd` and in Powershell. `mv` works only in Powershell and the book says nothing about which shell is recommended so this could confuse beginners.

Closes #33219.

diff --git a/src/doc/book/getting-started.md b/src/doc/book/getting-started.md
index 3a20663cda62ac6a900a249d15bc4d6bb3029c7e..fc2a762088331185e1ea9031feb4f1050eb7ffec 100644 (file)
--- a/src/doc/book/getting-started.md
+++ b/src/doc/book/getting-started.md
@@ -412,7 +412,7 @@ enter the following commands:
 
 ```bash
 $ mkdir src
-$ mv main.rs src/main.rs
+$ mv main.rs src/main.rs # or 'move main.rs src/main.rs' on Windows
 $ rm main  # or 'del main.exe' on Windows
 ```