Change name configs/ to boards/ in comments, Documentation, Tools, etc.

This commit is contained in:
Gregory Nutt 2019-08-05 07:33:16 -06:00
parent eef399b369
commit 2a8dccb75d
10 changed files with 19 additions and 19 deletions

View file

@ -119,7 +119,7 @@ Echo Menu description
Echo -o ^<kconfig-file^>:
Echo Identifies the specific configuratin for the selected ^<board-name^>.
Echo This must correspond to a sub-directory under the board directory at
Echo under nuttx/configs/^<board-name^>/.
Echo under nuttx/boards/^<board-name^>/.
Echo ^<-h^>:
Echo Prints this message and exits.