[PATCH v5 16/16] docs: Update documentation for kconfig support

[Anup Patel]

On Tue, Aug 2, 2022 at 1:46 PM Andrew Jones <ajones at ventanamicro.com> wrote:
>
> On Tue, Aug 02, 2022 at 10:11:15AM +0200, Andrew Jones wrote:
> > On Tue, Aug 02, 2022 at 10:11:32AM +0530, Anup Patel wrote:
> ..
> > > diff --git a/docs/platform/platform.md b/docs/platform/platform.md
> > > index cb4bec6..b726e1d 100644
> > > --- a/docs/platform/platform.md
> > > +++ b/docs/platform/platform.md
> > > @@ -42,8 +42,8 @@ OpenSBI currently supports the following virtual and hardware platforms:
> > >  The code for these supported platforms can be used as example to implement
> > >  support for other platforms. The *platform/template* directory also provides
> > >  template files for implementing support for a new platform. The *object.mk*,
> >
> > objects.mk
> >
>
> The makefile has a object.mk in a comment too that we should fix.
>
> Makefile:234:# Include all object.mk files

Okay, I will fix both typos.

Regards,
Anup