[PATCH] doc: icicle: Fix incorrect board name in HSS docs

[Heinrich Schuchardt]

On 11.03.21 02:48, Sean Anderson wrote:
> The HSS source uses an "mpfs" prefix with the icicle board name. Change our
> documentation to match.
>
> Signed-off-by: Sean Anderson <seanga2 at gmail.com>
> ---
>
>  doc/board/microchip/mpfs_icicle.rst | 6 +++---
>  1 file changed, 3 insertions(+), 3 deletions(-)
>
> diff --git a/doc/board/microchip/mpfs_icicle.rst b/doc/board/microchip/mpfs_icicle.rst
> index c71c2f3cab..cd18472542 100644
> --- a/doc/board/microchip/mpfs_icicle.rst
> +++ b/doc/board/microchip/mpfs_icicle.rst
> @@ -63,15 +63,15 @@ Build the HSS (Hart Software Services) - Microchip boot-flow
>
>  .. code-block:: none
>
> -   make BOARD=icicle-kit-es config
> +   make BOARD=mpfs-icicle-kit-es config
>
>  Alternatively, copy the default config for Microchip boot-flow.
>
>  .. code-block:: none
>
> -   cp boards/icicle-kit-es/def_config .config
> +   cp boards/mpfs-icicle-kit-es/def_config .config

The directory boards/mpfs-icicle-kit-es does not exist.
defconfigs should only exist in configs

The only defconfig for icicle is

configs/microchip_mpfs_icicle_defconfig

Best regards

Heinrich

>
> -2. make BOARD=icicle-kit-es
> +2. make BOARD=mpfs-icicle-kit-es
>  3. In the Default subdirectory, the standard build will create hss.elf and
>     various binary formats (hss.hex and hss.bin).
>
>