diff --git a/Documentation/README.html b/Documentation/README.html index 15254dbd5c..c271034f20 100644 --- a/Documentation/README.html +++ b/Documentation/README.html @@ -8,7 +8,7 @@

NuttX README Files

-

Last Updated: June 17, 2019

+

Last Updated: August 5, 2019

diff --git a/tools/refresh.sh b/tools/refresh.sh index 02db44a65b..9d1bf3d702 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -77,7 +77,7 @@ while [ ! -z "$1" ]; do echo " " echo " The board directory under nuttx/boards" echo " " - echo " The board configuration directory under nuttx/boards/" + echo " The board configuration directory under nuttx/boards//configs" exit 0 ;; * ) @@ -121,7 +121,7 @@ BOARDDIR=boards/$BOARDSUBDIR SCRIPTSDIR=$BOARDDIR/scripts MAKEDEFS1=$SCRIPTSDIR/Make.defs -CONFIGDIR=$BOARDDIR/$CONFIGSUBDIR +CONFIGDIR=$BOARDDIR/configs/$CONFIGSUBDIR DEFCONFIG=$CONFIGDIR/defconfig MAKEDEFS2=$CONFIGDIR/Make.defs