diff options
author | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-04-18 15:22:00 -0400 |
---|---|---|
committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2021-04-18 15:22:00 -0400 |
commit | e2c8614cb1a888cc38f7b103953241db78b7f34f (patch) | |
tree | 7b05460c89605f28a5db20917e020064dccf6843 | |
parent | b920ea060aca9e95b215425770c3facfd25a6914 (diff) |
Fix a typo
-rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -155,7 +155,7 @@ make ### Build with a local rgbds version -If you have different projects that require different versions of `rgbds`, it might not be convenient to install rgbds 0.5.0 globally. Instead, you can put its files in a directory within pokered, such as `pokered/rgbds-0.5.0/`. Then specifiy it when you run `make`: +If you have different projects that require different versions of `rgbds`, it might not be convenient to install rgbds 0.5.0 globally. Instead, you can put its files in a directory within pokered, such as `pokered/rgbds-0.5.0/`. Then specify it when you run `make`: ```bash make RGBDS=rgbds-0.5.0/ |