$ make -f Makefile.e300artydevkit mcs
```
-These will place the files under `builds/e300artydevkit`.
+These will place the files under `builds/e300artydevkit/obj`.
Note that in order to run the `mcs` target, you need to have the `vivado`
executable on your `PATH`.
$ make -f Makefile.u500vc707devkit mcs
```
-These will place the files under `builds/u500vc707devkit`.
+These will place the files under `builds/u500vc707devkit/obj`.
Note that in order to run the `mcs` target, you need to have the `vivado`
executable on your `PATH`.