ref: e2c8614cb1a888cc38f7b103953241db78b7f34f
parent: b920ea060aca9e95b215425770c3facfd25a6914
author: Rangi <remy.oukaour+rangi42@gmail.com>
date: Sun Apr 18 11:22:00 EDT 2021
Fix a typo
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -155,7 +155,7 @@
### 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/