no leading capital for devkitPPC

This commit is contained in:
Dave Murphy 2018-06-19 18:52:01 +01:00 committed by Hector Martin
parent bccf0fcbee
commit 72d59a96f2

View File

@ -25,7 +25,7 @@ Wii, only under Dolphin (yes, this release runs under Dolphin).
## Build instructions ## 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 variables correctly set. Use the latest available versions. Make sure you have
libogc/libfat, and also install the following 3rd party libraries: libogc/libfat, and also install the following 3rd party libraries: