no leading capital for devkitPPC

This commit is contained in:
Dave Murphy
2018-06-19 18:52:01 +01:00
parent 2fb61e432e
commit dc9c5f6dfa

View File

@@ -25,7 +25,7 @@ Wii, only under Dolphin (yes, this release runs under Dolphin).
## Build instructions
You need DevkitPPC and libogc installed, and the DEVKITPRO/DEVKITPPC environment
You need devkitPPC and libogc installed, and the DEVKITPRO/DEVKITPPC environment
variables correctly set. Use the latest available versions. Make sure you have
libogc/libfat, and also install the following 3rd party libraries: