Hi, I was going over some emails and I found this and I think it was not pushed. Thanks! Marçal (Sal)
On Mon, Dec 10, 2018 at 6:59 PM Marçal Comajoan Cara < mcomajoanc...@gmail.com> wrote: > In two places it said "avaliable", which is a misspelling of "available". > > This work was part of GCI 2018. > --- > docs/builder/README | 2 +- > docs/docs.rtems.org/cat-main.html | 2 +- > 2 files changed, 2 insertions(+), 2 deletions(-) > > diff --git a/docs/builder/README b/docs/builder/README > index bf9d7ad..d85daa5 100644 > --- a/docs/builder/README > +++ b/docs/builder/README > @@ -46,7 +46,7 @@ The web pages are under: > Website > ------- > > -The website is held in the publically avaliable personal repo called > +The website is held in the publically available personal repo called > `rtems-admin.git`. To update the website clone the repo: > > # git clone git://git.rtems.org/chrisj/rtems-admin.git > diff --git a/docs/docs.rtems.org/cat-main.html b/docs/ > docs.rtems.org/cat-main.html > index a47049c..2d3fe12 100644 > --- a/docs/docs.rtems.org/cat-main.html > +++ b/docs/docs.rtems.org/cat-main.html > @@ -10,7 +10,7 @@ > in <a href="http://docutils.sourceforge.net/rst.html > ">reStructuredText</a> > and built using the <a href="http://www.sphinx-doc.org/ > ">Sphinx</a> > tools which are available for most host systems. The documentation > - source is avaliable from > + source is available from > the <a href="https://git.rtems.org/rtems-docs/tree/ > ">rtems-docs.git</a> > Git repository and the <a href="https://devel.rtems.org/">RTEMS > Wiki</a> > details how to build the documentation.</p> > -- > 2.17.1 > >
_______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel